Navier–Stokes Lost in Translation
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
Read full article →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
Read full article →