{"type": "article", "title": "Evaluating the Robustness of Proof Autoformalization in Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/evaluating-the-robustness-of-proof-autoformalization-in-lean-4", "original_source": "https://arxiv.org/abs/2606.14867", "published": "2026-06-16T04:00:00+00:00", "accessed": "2026-06-16", "id": "evaluating-the-robustness-of-proof-autoformalization-in-lean-4"}