{"type": "article", "title": "Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/formalizing-numerical-analysis-an-agent-pipeline-and-quality-audit-beyond-kernel", "original_source": "https://arxiv.org/abs/2606.14000", "published": "2026-06-15T04:00:00+00:00", "accessed": "2026-06-15", "id": "formalizing-numerical-analysis-an-agent-pipeline-and-quality-audit-beyond-kernel"}