74 citations · 132 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022★ 28 cited
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Mark Niklas Müller, Christopher Brix, Stanley Bak +2
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autono…
cs.LG2022★ 23 cited
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Claudio Ferrari, Mark Niklas Muller, Nikola Jovanovic +1
State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations…