◆
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.
3 papers
Core Theory
Draft
Lean
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.
Draft
Lean
Flagship
The Operational Curry–Howard: Proof Discovery as Navigated Software Architecture
We propose a framework that unifies two perspectives on formal proof
construction: **proof as pathfinding** in a type-theoretic state
space and **proof as programming** via the Curry–Howard
correspondence.
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.