vivid04 / mn-bab Goto Github PK
View Code? Open in Web Editor NEWThis project forked from eth-sri/mn-bab
[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Home Page: https://www.sri.inf.ethz.ch/publications/ferrari2022complete