VMware Research, Palo Alto, USA; Princeton University, Princeton, USA; UNSW Sydney, Data61, Sydney, Australia
verification;Boolean satisfiability;Binarized Neural Networks
In Search for a SAT-friendly Binarized Neural Network Architecture