← Back to feed
AI · 2026-10-21 06:33
该论文提出 mini-Lean-Agent，作为 Lean 定理证明场景下的编码智能体基线，并探讨定理证明器是否真正需要专用证明智能体。
Source: arxiv.org
Auto-generated summary for reference only. RSS