Publications

2020

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett. Parallelization Techniques for Verifying Neural Networks. In Proceedings of 2020 Formal Methods in Computer Aided Design (FMCAD), 2020.
[PDF] [Artifact]

2019

Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David L. Dill, Mykel J. Kochenderfer, Clark Barrett. The Marabou Framework for Verification and Analysis of Deep Neural Networks. In Proceedings of the 27th International Conference on Computer Aided Verification (CAV ’19), 2019.
[PDF] [Artifact]