Tighter Abstract Queries in Neural Network Verification

Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett +1

Neural networks have become critical components of reactive systems in various domains within computer science. Despite their excellent performance, using neural networks entails n…