1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LG2022★ 1 cited
Efficient Neural Network Analysis with Sum-of-Infeasibilities
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…
cs.LG2022★ 1 cited
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark Barrett, Guy Katz
Convolutional neural networks have gained vast popularity due to their excellent performance in the fields of computer vision, image processing, and others. Unfortunately, it is no…