Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification.

arXiv:2610.09681v1 Announce Type: new Abstract: Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by large language models (LLMs), whic