TY  - RPRT
TI  - Efficient and Sound Probabilistic Verification for AI Agents
AU  - Alaia Solko-Breslin
AU  - Pramod Kaushik Mudrakarta
AU  - Mihai Christodorescu
AU  - Somesh Jha
AU  - Krishnamurthy Dj Dvijotham
PY  - 2026
UR  - https://arxiv.org/abs/2606.20510
ID  - 2606.20510
ER  -