Timon Gehr

Formal Verification Scales to 100K-Parameter Neural Networks

A novel abstract domain enables certified robustness guarantees for realistic deep learning models.