Yao, S., Holzer, N., Santolucito, M. P., Ray, B., Jana, S., & She, D. (2026). Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification. https://omanscience.com/ar/articles/cost-efficient-theorem-proving-via-agent-orchestration-in-program-verification