Alexander Bastounis

Researcher

MathematicsMachine learning

Now Lecturer in Applied Mathematics · King's College London

kcl.ac.uk ↗

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

KC
King's College LondonLecturer in Applied Mathematics

Sourceskcl.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 kcl.ac.uk · 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 →