research
∙
08/08/2023
AgentSims: An Open-Source Sandbox for Large Language Model Evaluation
With ChatGPT-like large language models (LLM) prevailing in the communit...
share
research
∙
05/26/2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
The robustness of deep neural networks (DNNs) is crucial to the hosting ...
research
∙
11/21/2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
The robustness of neural networks is fundamental to the hosting system's...
research
∙
08/21/2022