Verifying Binarized Neural Networks by Angluin-Style Learning.

Andy Shih, Adnan Darwiche, Arthur Choi

Browse the full SAT paper archive.