Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
25
votes
Showing only topics with the tag "navier stokes".
Back to normal view