{"type": "article", "title": "High-Throughput Lean 4 Autoformalization Model for Local Inference", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/high-throughput-lean-4-autoformalization-model-for-local-inference", "original_source": "https://meshapplied.com/posts/lean4-autoformalization", "published": "2026-08-22T12:26:56+00:00", "accessed": "2026-08-22", "id": "high-throughput-lean-4-autoformalization-model-for-local-inference"}