65 citations · 75 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 7 cited
Provably Bounding Neural Network Preimages
Suhas Kotha, Christopher Brix, Zico Kolter +2
Most work on the formal verification of neural networks has focused on bounding the set of outputs that correspond to a given set of inputs (for example, bounded perturbations of a…
cs.LG2023★ 65 cited
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
Christopher Brix, Mark Niklas Müller, Stanley Bak +2
This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021,…