11 citations · 24 across the 10 of their papers we have counts for
1 paper · 2 filters
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…