PAC-Based Formal Verification for Out-of-Distribution Data Detection

PAC-Based Formal Verification for Out-of-Distribution Data Detection

4 April 2023

Arvind Easwaran

Papers citing "PAC-Based Formal Verification for Out-of-Distribution Data Detection"

5 / 5 papers shown

Title
Guaranteeing Out-Of-Distribution Detection in Deep RL via Transition Estimation Mohit Prashant Arvind Easwaran Suman Das Michael Yuhas OffRL 69 1 0 07 Mar 2025
Generalized Out-of-Distribution Detection: A Survey Jingkang Yang Kaiyang Zhou Yixuan Li Ziwei Liu 185 877 0 21 Oct 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 172 0 14 Sep 2021
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 121 73 0 28 Jan 2020
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction Sangdon Park Osbert Bastani Nikolai Matni Insup Lee UQCV 136 68 0 31 Dec 2019