Project
Axiom Solver Toolkit
A toolkit for symbolic reasoning and numeric verification, designed for robust proof-of-concept demos.
Portfolio + Blog
I build rigorous, human-centered systems at the intersection of mathematical modeling and modern AI. This space documents projects, experiments, and long-form thinking.
A toolkit for symbolic reasoning and numeric verification, designed for robust proof-of-concept demos.
A visualization sandbox for stochastic paths and diffusion, bridging intuition and theory for applied math models.
Contact
Reach out for collaboration, research conversations, or opportunities in applied math.