⚙
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.
4 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.
Quantitative Finance
Draft
Lean
The Bridge Method: Systematic Cross-Domain Discovery via Shared Mathematical Structure
We formalize the concept of a **mathematical bridge** — a theorem establishing that conclusions proved in domain $A$ imply structure in domain $B$ — and develop a methodology for systematic bridge discovery.
mathematics
Draft
Lean
The Convolution–Correlation Duality
We identify a structural dichotomy — the *convolution–correlation duality* — that governs whether problems involving oscillatory spectral expansions are tractable. The principle is this: when a quantity is formed by convolving independent components, each independent integration contributes a damping factor to the spectral coefficients.