Project
Axiom Solver Toolkit
A toolkit for symbolic reasoning and numeric verification, designed for robust proof-of-concept demos.
Projects
Portfolio signals
A selection of work exploring modeling, verification, and intelligent systems.
Project
Quantum Paths Explorer
A visualization sandbox for stochastic paths and diffusion, bridging intuition and theory for applied math models.
Project
Retro Forecast Engine
A forecasting lab for time-series experiments, blending classical methods with modern AI tooling.