Verifying properties of binarized deep neural networks

Keyphrases

• Adversarial Perturbation 25%
• Binarized Convolutional Neural Networks 100%
• Binarized Neural Network 50%
• Boolean 25%
• Boolean Encodings 25%
• Boolean Formulas 25%
• Boolean Satisfiability 25%
• Classification Task 25%
• Deep Learning 25%
• Deep Neural Network 100%
• Guided Search 25%
• Image Classification 25%
• Medium Size 25%
• Neural Network 25%
• Popular Classes 25%
• SAT Solver 25%
• Search Methods 25%

Computer Science

• Boolean Formula 20%
• Classification Task 20%
• Deep Learning Method 20%
• Deep Neural Network 100%
• Experimental Result 20%
• Image Classification 20%
• Neural Network 60%
• Search Procedure 20%

Chemical Engineering

• Deep Learning Method 20%
• Deep Neural Network 100%
• Neural Network 60%