TY  - RPRT
TI  - Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
AU  - Alexander Bastounis
AU  - Fabian Circelli
AU  - Anders C. Hansen
PY  - 2026
UR  - https://arxiv.org/abs/2610.08144
ID  - 2610.08144
ER  -