Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Dive into the research topics of 'Parallelization Techniques for Verifying Neural Networks'. Together they form a unique fingerprint.


Engineering & Materials Science