@misc{indiciae3cb3de25e9fe,
  title = {Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs},
  author = {Alexander Bastounis and Fabian Circelli and Anders C. Hansen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08144},
  note = {Source identifier: 2610.08144}
}