@misc{indiciae55f7ea0eb27b,
  title = {Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization},
  author = {Ke Zhang and Patricio Gallardo Candela and Sudhir Murthy and Yi Xie and Zhi Wang and Maziar Raissi},
  year = {2026},
  url = {https://arxiv.org/abs/2606.31002},
  note = {Source identifier: 2606.31002}
}