arxiv.org

[2610.08144] Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Abstract page for arXiv paper 2610.08144: Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.

Open source