⚙

Method & Meta-Theory

How the research program works

Papers that describe the methodology itself: proof discovery as neural search, cross-domain bridges, the Latent framework, and how results compose. Read these if you want to understand the overall approach before diving into any specific paper.

1 paper

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.

61,534 words 28 claims