TY  - RPRT
TI  - Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
AU  - Ke Zhang
AU  - Patricio Gallardo
AU  - Maziar Raissi
AU  - Sudhir Murthy
PY  - 2026
UR  - https://arxiv.org/abs/2604.16538
ID  - 2604.16538
ER  -