Poster · Atlanta
Stress-Testing Neural Network Verifiers with Provably Robust Instances
- When
- Thu 10 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 3
- Authors
- David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei, Guido Montufar
- Organisations
- University of California, Los Angeles, University of Melbourne