@article{optimizingthecostqualitytradeoffofagenti,
  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},
  eprint = {2606.04883},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.04883},
}