TY  - RPRT
TI  - SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
AU  - Vignesh Sivaramakrishnan
AU  - Krishna C. Kalagarla
AU  - Rosalyn Devonport
AU  - Joshua Pilipovsky
AU  - Panagiotis Tsiotras
AU  - Meeko Oishi
PY  - 2024
UR  - https://arxiv.org/abs/2412.02940
ID  - 2412.02940
ER  -