TY  - RPRT
TI  - PAC-Based Formal Verification for Out-of-Distribution Data Detection
AU  - Mohit Prashant
AU  - Arvind Easwaran
PY  - 2023
UR  - https://arxiv.org/abs/2304.01592
ID  - 2304.01592
ER  -