TY  - RPRT
TI  - Agentic Proving for Program Verification
AU  - Alessandro Sosso
AU  - Akhil Arora
AU  - Bas Spitters
PY  - 2026
UR  - https://arxiv.org/abs/2605.23772
ID  - 2605.23772
ER  -