I am an independent theoretical researcher developing formal foundational frameworks across multiple domains, including epistemic inference, mastery theory, and stochastic dynamical systems. My work is developed independently, without institutional affiliation or external funding.
🗺️ The Map of Mathematics — a flyable 3D atlas of all structures from constrained symmetry, with 3,136 theorems proven in Lean 4. Fly through it →
Each framework is developed as an independent theoretical program with its own axioms, formal structure, and associated preprints.
A structured list of theoretical frameworks and preprints is available here: Publications and preprints.