TY  - RPRT
TI  - Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean
AU  - Tomas Ortega
AU  - Simon Park
AU  - Ayush Khaitan
AU  - Liam Fowl
AU  - Alex Kontorovich
AU  - Sanjeev Arora
PY  - 2026
UR  - https://arxiv.org/abs/2610.17331
ID  - 2610.17331
ER  -