TY  - RPRT
TI  - Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
AU  - Shuangjie Yao
AU  - Nikolaus Holzer
AU  - Mark Paul Santolucito
AU  - Baishakhi Ray
AU  - Suman Jana
AU  - Dongdong She
PY  - 2026
UR  - https://arxiv.org/abs/2610.09681
ID  - 2610.09681
ER  -