autoformalisation

general · First seen 2026-10-07 · Last seen 2026-10-07 · 1 mentions

Overview pending

Not generated while fewer than 3 related stories are on file.

Coverage

1 on file

Lean 验证通过不代表自然语言证明正确：从 Navier-Stokes 看自动形式化局限arXiv: OpenAI