Research Domains

573 papers organized across 61 research areas.

Core Theory
54 papers · 26 verified
The Latent: Finite Sufficient Repre… The Latent Algebra: A Universal Rep… Grade3 Latent Algebra Latent Core Latent Optimization +49 more
Physics
65 papers · 29 verified
A refuted-and-vindicated pre-regist… The Double Gate Theorem: Cascade In… Turbulence Scaling Laws from the Gr… The Quantum Compressibility Thresho… Spectral Error Mitigation: Exact No… +60 more
Mathematics
36 papers · 15 verified
Neuro Manifold The Grade-Shadow Correspondence: Ra… Prime Number Theorem The Riemann Hypothesis via Zeta Mom… The Riemann Hypothesis via Cumulant… +31 more
Quantitative Finance
124 papers · 57 verified
Spectral Interest Rate Pricing: COS… Constraint-Forced Absorption: A Gen… An Eigenvalue-Conditioned Copula wi… Credit Portfolio Loss The Fenton Distribution Solved +119 more
Machine Learning
36 papers · 13 verified
The Structured Latent Basis: Featur… The Smooth-Step Spectral Method: Un… The Spectral Theory of LLM Understa… One Parameter: How ρ Unifies Comput… Proved Safe: A Machine-Verified The… +31 more
Formal Verification
145 papers · 129 verified
Dimension-Independent Finiteness of… Formal Koide Structure: Mass Bounds… The Yang-Mills Mass Gap via Gauge A… The PDE Tensor Algebra: Structural … Machine-Verified Derivation Chain f… +140 more
Research Methodology
18 papers · 3 verified
Creative Flow as a Percolation Phas… The Spectral Information State The Duality of Bayesian and Frequen… Analytical Design Optimization: Fro… Algebraic exploration of candidate … +13 more
analytic_number_theory
2 papers · 0 verified
The Cumulant Bridge: Reducing the M… Latent Grade-2 Dominance and the Mo…
bio_protein_fold
1 papers · 1 verified
Latent Folding: Resolution of Levin…
biology, cross-domain, latent theory
1 papers · 1 verified
Cross-Domain Bridges in the Latent …
black_hole_physics
1 papers · 1 verified
Formal Analysis of QNM Spectral Rat…
celestial_mechanics
1 papers · 1 verified
An Exact Algebraic Bifurcation in t…
climate economics / integrated assessment
1 papers · 1 verified
Fat Tails and Carbon Taxes: A Spect…
computational game theory / bounded rationality
1 papers · 1 verified
Bounded Rationality and the Spectra…
computational_neuroscience
1 papers · 1 verified
Optimal Neural Decoding via the Lat…
cosmology, mathematical physics, foundations
1 papers · 1 verified
Three Cracks in the Standard Model …
dark_matter
1 papers · 1 verified
Dark Matter: Formal Verification of…
dynamic pricing / bayesian learning / revenue optimization
1 papers · 1 verified
Spectral Pricing: Bayesian Learning…
finance_risk
2 papers · 2 verified
The Bias-Variance Frontier of Risk … Fundamental Limits and Phase Transi…
financial networks / systemic risk
1 papers · 1 verified
Spectral Contagion: Network Fragili…
foundations
2 papers · 1 verified
The Simultaneous Field: A Universal… Universal Foundations: A Verified L…
game_theory
1 papers · 1 verified
Nash Equilibrium via Latent Perturb…
geometric_analysis, spectral_theory, latent_framework
1 papers · 0 verified
Ricci Flow as Spectral Compression:…
intelligence_theory
1 papers · 0 verified
The Shadow Theorem
machine learning / model analysis
1 papers · 1 verified
Residual Stream Denoising in Large …
machine_learning
1 papers · 1 verified
Why Neural Networks Scale: A Comple…
macro_finance
1 papers · 1 verified
Heterogeneous Agent General Equilib…
macroeconomics / heterogeneous agent models
1 papers · 1 verified
When Does Heterogeneity Matter? A S…
market microstructure / financial economics
1 papers · 1 verified
Spectral Microstructure: Kyle's Lam…
math_physics
3 papers · 2 verified
A Machine-Verified Algebraic Formal… Phase Field Algebras: Order, Smooth… Resonance Algebra: A Formal Framewo…
mathematical biology, optimization, latent representations
3 papers · 0 verified
Emergent Canopy Architecture from D… Plants: The Bidirectional Optimizer… Emergent Root Architecture from Dis…
mathematical physics
3 papers · 0 verified
Global Regularity for the Three-Dim… Eighteen Theorems: A Machine-Verifi… Global Regularity for the Three-Dim…
mathematical-physics
4 papers · 4 verified
An Analytic Proof of $\kappa_+ < \k… Strong Cosmic Censorship at the VCS… Vorticity as a Universal Controller… Weak Cosmic Censorship as a Vortici…
mathematical_biology
6 papers · 6 verified
Phylogenetic Tree Reconstruction vi… Allosteric Regulation — Spectral Co… Brain Criticality — Phase Transitio… Evolutionary Fitness Landscape Rugg… Waddington Landscape Cell Fate via … +1 more
mathematical_epidemiology
2 papers · 2 verified
Epidemic Spreading on Networks via … Formally Verified Epidemic Threshol…
mathematical_finance
2 papers · 2 verified
Formally Verified Financial Contagi… The Risk Coding Theorem: Exponentia…
mathematical_methodology
1 papers · 0 verified
Shadow Mining: Inferring Higher-Gra…
mathematical_physics
2 papers · 1 verified
Conditional Regularity of 3D Navier… Spacetime Thermodynamics: Gravity a…
mathematics
5 papers · 5 verified
Proof Circuits The Langlands Transfer Graph The Latent Path Integral The Convolution–Correlation Duality The Decorrelation Index
mechanism design / game theory
1 papers · 1 verified
Latent Mechanism Design: Spectral A…
memory_tree
1 papers · 0 verified
Memory-Tree Algebra: Numbers That R…
meta-mathematics
1 papers · 1 verified
The Unified Field: Fifteen Algebrai…
meta-methodology
1 papers · 1 verified
The Operational Curry–Howard: Proof…
ml_foundation_model
1 papers · 1 verified
Foundation Model Training Bounds: A…
ml_theory
1 papers · 1 verified
A Unified Spectral Theory of Machin…
number_theory
15 papers · 13 verified
An Unconditional BGST$\to$R$_2$ Fou… A Lean 4 Formalization of the Birch… ε-Removal for Moments of the Rieman… No Non-Trivial Collatz Cycle Has Tw… $D_\infty$ and the Goldbach Converg… +10 more
particle physics, cosmology
1 papers · 1 verified
Formal Verification of Sakharov's B…
pde, spectral theory, fluid mechanics
1 papers · 1 verified
Spectral Stability of the Gallay-Wa…
pde_tensor_algebra
1 papers · 0 verified
Preregistered prediction — K-class …
phy
1 papers · 1 verified
Neutrino Mass: Formal Verification …
planetary_defense
1 papers · 1 verified
Grade-2 Universality in Planetary D…
proof_complexity
1 papers · 1 verified
Empirical Proof Complexity of a Lea…
public economics / optimal taxation
1 papers · 1 verified
Spectral Taxation: The Latent Struc…
pure_math
1 papers · 1 verified
Representation Theory of Finite Gro…
quantitative finance / mathematical economics
1 papers · 1 verified
One Number Rules Finance: The Laten…
quantitative_finance
4 papers · 3 verified
The ATM Skew Power Law: A Machine-V… Error Bounds for American Basket Op… Sharp Phase Transitions in Financia… Verified Nelson-Siegel COS Hybrid P…
social choice theory / voting theory
1 papers · 1 verified
Quantitative Arrow: Measuring Dista…
spectral_geometry, riemannian_geometry, inverse_spectral_theory
1 papers · 1 verified
The Manifold Latent Theorem: Finite…
spectral_geometry, topology, latent_framework
1 papers · 0 verified
Spectral Rigidity of the 3-Sphere: …
tension_algebra
1 papers · 1 verified
Tension Algebra: A Mathematical Fra…
theory_of_knowledge
1 papers · 1 verified
Coherence Web: A Network Model for …