◆
Start with the Latent
Three papers that introduce the core framework
If you want to understand what the research program is actually about, read these three papers in order. They define the Latent framework, show how proof discovery works as neural architecture search, and demonstrate the method on a concrete physics problem.
2 papers
Core Theory
Draft
DOI
Flagship
The Latent: Finite Sufficient Representations of Smooth Systems
We define the **Latent** of a smooth system as the basis-free element of a graded Hilbert tensor algebra that completely characterizes the system's distributional, dynamic, and functional properties.
Formal Verification
Working Paper
Lean
DOI
Flagship
Grade Decomposition and Gevrey Regularity for Navier-Stokes: A Machine-Checked Conditional Framework
We introduce a grade decomposition of the Gevrey energy balance for the incompressible Navier-Stokes equations. The physically correct model uses $\mathbb{C}$-valued Fourier coefficients with a factor of $i$ in the advection; the real-coefficient model trivializes all grade-3 terms.