6 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Haoze Wu, Aleksandar Zeljić, Guy Katz +1
Inspired by sum-of-infeasibilities methods in convex optimization, we propose a novel procedure for analyzing verification queries on neural networks with piecewise-linear activati…