Search Results for author:
Found 4 papers, 1 papers with code
AgentSims: An Open-Source Sandbox for Large Language Model Evaluation
With ChatGPT-like large language models (LLM) prevailing in the community, how to evaluate the ability of LLMs is an open question.
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
In this paper, we study existing approaches and identify a dominant factor in defining tight approximation, namely the approximation domain of the activation function.
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
We observe that existing approaches only rely on overestimated domains, while the corresponding tight approximation may not necessarily be tight on its actual domain.
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
Considerable efforts have been devoted to finding the so-called tighter approximations to obtain more precise verification results.
