1
A Minimal Agent for Automated Theorem Proving
提出最小化agent基线，系统对比AI定理证明器架构，核心特性包括迭代改进、库搜索与上下文管理。
arXiv:2602.24273v3 Announce Type: replace Abstract: We propose a minimal agentic baseline that enables systematic comparison across different AI-based…