Dj's research website
Dj's research website
Home
Publications
CV
Rudy Bunel
Latest
Lagrangian decomposition for neural network verification
Knowing when to stop: Evaluation and verification of conformity to output-size specifications
Scalable verified training for provably robust image classification
Verification of non-linear specifications for neural networks
Cite
×