About

Dr. Tamás Nagy

Mathematician and researcher working at the intersection of quantitative finance, physics, machine learning, and formal verification. This site collects 573 research papers — 347 with machine-checked proofs in Lean 4.

ORCID Zenodo Contact

The Research Program

This corpus spans 573 papers across 61 research domains. The unifying thread is the Latent — a finite algebraic structure that recurs across seemingly unrelated mathematical settings: from option pricing to fluid dynamics, from number theory to neural network internals.

Unlike traditional academic output (one paper, one result), this is a connected research program where papers reference, build upon, and verify each other. The connection graph visualizes these relationships.

Machine-Verified Mathematics

347 papers include theorems formally verified in Lean 4. Verified papers are marked with a Verified badge. The Proof Catalog collects 82 formal proof records with 2,361 machine-checked theorems.

Paper Maturity

Papers are honestly labeled by maturity level:

Working Paper — Mature, citable. Complete results and polished presentation.

Draft — Real results, presentation may evolve.

Proof Record — Formal proof record with machine-verified theorems.

Skeleton — Early stage placeholder.

Citation & Reuse

All papers are published under CC BY 4.0. Each paper page has a downloadable BibTeX file and (where available) a permanent Zenodo DOI. 25 papers currently have DOIs.

Contact

For questions, collaboration inquiries, or to report errors: nagy.tamas [at] thalens.org

API

Machine-readable paper data is available at /data/papers.json (all papers with DOIs, status, summaries) and /data/graph.json (connection graph). RSS feed: /feed.xml.