@misc{indiciaec549c295f587,
  title = {Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean},
  author = {Kári Rögnvaldsson and Chenhao Sun and Jasper Dekoninck and Martin Vechev},
  year = {2026},
  url = {https://arxiv.org/abs/2606.04883},
  note = {Source identifier: 2606.04883}
}