Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization By Ke Zhang, Patricio Gallardo Candela, Sudhir Murthy, Yi Xie, Zhi Wang · HF Daily Papers · Oct 15, 2026 HF Daily Papers' note score 5 Categories: Research