◆

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.

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