Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean 文章

ArXiv CS.CL2026-06-04NEWSen作者: K\'ari R\"ognvaldsson, Chenhao Sun, Jasper Dekoninck, Martin Vechev
查看原文 →
关系图谱

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean · 相关技术

相关技术

Large language modelcontrol planedata planeLean