firstbacksecondback
2 Results
|
Poster
|
Wed 1:00 |
Fooling a Complete Neural Network Verifier Dániel Zombori · Balázs Bánhelyi · Tibor Csendes · István Megyeri · Márk Jelasity |
|
|
Poster
|
Thu 17:00 |
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu · Huan Zhang · Shiqi Wang · Yihan Wang · Suman Jana · Xue Lin · Cho-Jui Hsieh |