Rohan Paul

– https://arxiv.org/abs/2610.08144 标题：《Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs》（迷失在翻译中的 Navier-Stokes：为什么对 AI 自动形式化的 Lean 验证不能保证自然语言证明的正确性）