@misc{indiciae16e72c693a76,
  title = {Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification},
  author = {Shuangjie Yao and Nikolaus Holzer and Mark Paul Santolucito and Baishakhi Ray and Suman Jana and Dongdong She},
  year = {2026},
  url = {https://arxiv.org/abs/2610.09681},
  note = {Source identifier: 2610.09681}
}