← All collections

Proof-Heavy

Papers with many verified theorems

Papers where most of the content is formal mathematics — theorem statements, proof sketches, and verified claims. Use these as a reference corpus, not as a narrative introduction.

5 papers · Auto-generated from the full corpus

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
Mathematics Draft Lean DOI Flagship
Toward the Riemann Hypothesis: A Superquadratic-Growth Framework for Zeta Moments and its Limits
We present an algebraic framework relating the growth of the zeta moments to Hankel-determinant structure, together with an honest account of where the framework does and does not reach the Riemann Hypothesis.
21,020 words 24 claims
Formal Verification Working Paper Lean DOI
Harvestability
This paper studies **harvestability** as a horizon object for portfolio allocation within a CRRA investor model facing Ornstein-Uhlenbeck eigenmodes.
17,342 words 22 claims
Quantitative Finance Draft Lean DOI
The Spectral Lognormal Distribution
The CDF of a weighted sum of correlated lognormal random variables has lacked a tractable characterization since Fenton (1960). We show that eigenvalue conditioning of the correlation matrix, followed by Fourier-cosine inversion, yields an analytic, grid-free $N$-term spectral representation of that CDF: the **Spectral Lognormal Distribution**.
10,468 words 19 claims
Mathematics Working Paper Lean DOI
The Riemann Hypothesis via Fourier-Euler Product: A Short Conditional Reduction
We give a short conditional reduction of the Riemann Hypothesis to three classical inputs — Kronecker-Weyl equidistribution, the Bessel I₀ product identity, and Mertens' divergence theorem — plus a cited pair-correlation step.
3,579 words 18 claims