TY  - RPRT
TI  - Formal Reasoning About Confidence and Automated Verification of Neural Networks
AU  - Mohammad Afzal
AU  - S. Akshay
AU  - Blaise Genest
AU  - Ashutosh Gupta
PY  - 2026
UR  - https://arxiv.org/abs/2511.07293
ID  - 2511.07293
ER  -