Accepted Papers

Verifying Recurrent Neural Networks using Invariant Inference
Authors: Yuval Jacoby, Clark Barrett and Guy Katz
An Abstraction-Based Framework for Neural Network Verification
Authors: Yizhak Elboher, Guy Katz and Justin Gottschlich
A Comparison of Neural Network Tools for the Verification of Linear Specifications of ReLU Networks
Authors: Ziggy Attala, Ana Cavalcanti and James Woodcock
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Authors: Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le and Nina Narodytska
Robustness Verification for Ensemble Stumps and Trees
Authors: Hongge Chen, Yihan Wang, Huan Zhang, Cho-Jui Hsieh, Si Si, Yang Li and Duane Boning
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
Authors: Dario Guidotti, Armando Tacchella and Luca Pulina
Simplifying Neural Networks using Formal Verification
Authors: Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett and Guy Katz
On Symbolically Encoding the Behavior of Random Forests
Authors: Arthur Choi, Andy Shih, Anchal Goyanka and Adnan Darwiche
Parallelization Techniques for Verifying Neural Networks
Authors: Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu and Clark Barrett
Robustness Verification of Nearest Neighbor Classifiers
Authors: Lu Wang, Xuanqing Liu, Jinfeng Yi, Zhi-Hua Zhou and Cho-Jui Hsieh
Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
Authors: Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio and Ruth Misener
Formal Verification of Neural Agents in Non-deterministic Environments
Authors: Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros and Alessio Lomuscio
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
Authors: Ivan Papusha, Rosa Wu, Joshua Brule, Yanni Kouskoulas, Daniel Genin and Aurora Schmidt