firstbacksecondback
5 Results
|
Poster
|
Tue 14:30 |
Verification of Non-Linear Specifications for Neural Networks Chongli Qin · Krishnamurthy Dvijotham · Brendan ODonoghue · Rudy R Bunel · Robert Stanforth · Sven Gowal · Jonathan Uesato · Grzegorz Swirszcz · Pushmeet Kohli |
|
|
Poster
|
Tue 14:30 |
Boosting Robustness Certification of Neural Networks Gagandeep Singh · Timon Gehr · Markus Püschel · Martin Vechev |
|
|
Poster
|
Tue 14:30 |
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb · Tom Rainforth · Yee Whye Teh · M. Pawan Kumar |
|
|
Poster
|
Tue 14:30 |
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Xiao · Vincent Tjeng · Nur Muhammad Shafiullah · Aleksander Madry |
|
|
Poster
|
Tue 14:30 |
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng · Kai Xiao · Russ Tedrake |