"safety verification" Papers
3 papers found
Conference
Let a Neural Network be Your Invariant
Mirco Giacobbe, Daniel Kroening, Abhinandan Pal et al.
NEURIPS 2025oral
Position: Require Frontier AI Labs To Release Small "Analog" Models
Shriyash Upadhyay, Philip Quirke, Narmeen Oozeer et al.
NEURIPS 2025
Safely Learning Controlled Stochastic Dynamics
Luc Brogat-Motte, Alessandro Rudi, Riccardo Bonalli
NEURIPS 2025arXiv:2506.02754