Boosting Multi-neuron Convex Relaxation for Neural Network Verification
No abstract available.
Related papers
- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier CAV 2021
- Convex Hull Approximation for Activation Functions OOPSLA 2025
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- Support Triangle Machine PLDI 2025
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021
- Training for Verification: Increasing Neuron Stability to Scale DNN Verification TACAS 2024
- Efficient Neural Network Analysis with Sum-of-Infeasibilities TACAS 2022
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra SAS 2021