Jeromie Beasley

D1C1PLER@mathstodon.xyz

<p>Jeromie N. Beasley — independent researcher working in operator theory, spectral geometry, mathematical physics, graph theory, and Lean formal verification. I develop an operator-first research program using exact computation, formal proofs, negative controls, and publicly auditable source history. Human-directed, AI-assisted.</p>