cd/entity/Numerical Methods for Ordinary Differential Equations· home› entities› Numerical Methods for Ordinary Differential Equations

grep -l @numerical methods for ordinary differential equations /news/*.json | wc -l → 1

Numerical Methods for Ordinary Differential Equations

mentions 1 type Person feed RSS

// recent coverage 1 mentions

04:00

2026-06-15

arxiv.org

artificial-intelligence

Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance

Researchers applied a coding agent to formalize a numerical analysis textbook in Lean 4, introducing a three-dimensional quality audit framework beyond kernel acceptance. The audit revealed unfaithful…

// co-occurs with top 4 entities

Lean 4 1 mathlib 1 RepoProver 1 M2F 1