Certifying Neural Network Safety: A Smarter Approach to Verification
Researchers have developed a new architecture that efficiently and reliably verifies the safety of ReLU neural networks using a combination of incremental analysis and learned constraints.






