neural network verification

3 papers

• Compositional Neural Network Verification via Assume-Guarantee Reasoning
• Generating and Checking DNN Verification Proofs
• Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation