no code implementations • 12 Apr 2023 • Daniel Golovin, Gabor Bartok, Eric Chen, Emily Donahue, Tzu-Kuo Huang, Efi Kokiopoulou, Ruoyan Qin, Nikhil Sarda, Justin Sybrandt, Vincent Tjeng
We are living in a golden age of machine learning.
1 code implementation • ICLR 2019 • Kai Y. Xiao, Vincent Tjeng, Nur Muhammad Shafiullah, Aleksander Madry
We explore the concept of co-design in the context of neural network verification.
6 code implementations • ICLR 2019 • Vincent Tjeng, Kai Xiao, Russ Tedrake
The computational speedup allows us to verify properties on convolutional networks with an order of magnitude more ReLUs than networks previously verified by any complete verifier.