2025
LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
ICML 2025poster
The robustness of neural networks is crucial in safety-critical applications, where identifying a reliable input space is essential for effective model selection, robustness evaluation, and the development of reliable control strategies. Most existing robustness verification methods assess the worst…