Fabian Circelli

Researcher

MathematicsMachine learning

Now PhD student in mathematics · University of Cambridge

sites.google.com ↗

Latest on AI4S.fyi

COMMENTARY · 2026-10-06

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

Path

University of CambridgePhD student in mathematics

Sourcesmaths.cam.ac.ukEducation and jobs are read from their own homepage or employer's page; papers checked on arXiv. From LinkedIn only the person's own public posts are read; GitHub is a link only.

Photo from sites.google.com · Contact →

Commentary by them

2026-10-06Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →