Efficient Certified Reasoning for Binarized Neural Networks.

Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

Browse the full SAT paper archive.