Rohan Paul

– https://arxiv.org/abs/2610.08144 Title: "Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs"