The paper entitled “Provably Bounding Neural Network Preimages” by Christopher Brix, Suhas Kotha (CMU), Huan Zhang (UIUC), Zico Kolter (CMU), Krishnamurthy (Dj) Dvijotham (Google DeepMind) has been accepted for publication in the thirty-seventh Conference on Neural Information Processing Systems. The paper presents a way to compute bounds on the preimage of the output of a […]

The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University), Taylor T Johnson (Vanderbilt University), and Changliu Liu (Carnegie Mellon University) has been accepted for publication in the journal STTT ExPLAIn. The paper summarizes the organization and results […]