{"type": "article", "title": "Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/beyond-compilation-evaluating-faithful-natural-language-to-lean-statement", "original_source": "https://arxiv.org/abs/2606.31002", "published": "2026-07-01T04:00:00+00:00", "accessed": "2026-07-01", "id": "beyond-compilation-evaluating-faithful-natural-language-to-lean-statement"}