5c5bc7df3d37b2a7ea29e1b47b2bd4ab-Paper.pdf
–Neural Information Processing Systems
Most real world applications require dealing with stochasticity like sensor noise or predictive uncertainty, where formal specifications of desired behavior are inherently probabilistic. Despite the promise of formal verification in ensuring the reliability of neural networks, progress in the direction of probabilistic specifications has been limited.
Neural Information Processing Systems
Aug-22-2025, 03:21:37 GMT