Theorem prover cuts AI costs by abandoning bad proof attempts early

Original: Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

Source: arxiv.org ↗