• Ahmed Irfan, Kyle Julian, Haoze Wu, Clark Barrett, Mykel J. Kochenderfer, Baoluo Meng, and James Lopez, Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance. 39th Digital Avionics System Conference (DASC 2020). [pdf]
  • Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, and Clark Barrett, Parallelization Techniques for Verifying Neural Networks. Formal Methods in Computer-Aided Design 2020 (FMCAD 2020). [pdf]
  • Jiaxuan You*, Haoze Wu*, Clark Barrett, Raghuram Ramanujan, Jure Leskovec, G2SAT: Learning to Generate SAT Formulas. 33rd Conference on Neural Information Processing Systems (NeurIPS 2019). [pdf]
  • 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. 31st International Conference on Computer-Aided Verification (CAV 2019). [pdf] [project]