Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
math.AP, cs.AI, math.LO
Submitted: 2026-10-06
Updated: 2026-10-06
Terminology
Related papers
- Anisotropic uncertainty principles for metaplectic operators
- Convergence of graph Dirichlet energies and graph Laplacians on intersecting manifolds of varying dimensions
- Fractional Parabolic Partial Differential Equations in Anisotropic Spectral Barron Spaces: Regularity and Neural Approximation
- Regularity of Second-Order Elliptic PDEs in Spectral Barron Spaces
- Determining a parabolic-elliptic-elliptic system by boundary observation of its non-negative solutions under chemotaxis background
- Global boundary stabilization of 1d systems of scalar conservation laws