Neural networks - Safe Intelligence

Events Formal Verification Neural networks Research SAIV Verification Verifier

Safe Intelligence in Zagreb: Our Highlights from the 2025 Symposium on AI Verification (SAIV)

Formal Verification Neural networks Research Verification Verifier

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification

Formal Verification Neural networks Research Robustification

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels