AI
该论文提出 mini-Lean-Agent，作为 Lean 定理证明场景下的编码智能体基线，并探讨定理证明器是否真正需要专用证明智能体。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。