TY  - RPRT
TI  - Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
AU  - Ke Zhang
AU  - Patricio Gallardo Candela
AU  - Sudhir Murthy
AU  - Yi Xie
AU  - Zhi Wang
AU  - Maziar Raissi
PY  - 2026
UR  - https://arxiv.org/abs/2606.31002
ID  - 2606.31002
ER  -