Software
Alongside my published research, I build open-source software, reference implementations of my algorithms, formal proofs, and experiments in scientific computing and machine learning. A selection of current projects is below; the cards are generated at build time from the GitHub API.
discrete-modulus Reference implementations of discrete modulus algorithms, with an accompanying book. lean-modulus Lean 4 formalizations of results from my research on graphs, networks, and the modulus of families of objects. quant-reasoning Does int8/int4 quantization hurt LLM math reasoning more than perplexity? A controlled Qwen2.5-7B study (vLLM + GSM8K + MATH-500) suggesting perplexity may be an unreliable proxy for more complex reasoning tasks. coulomb-explosion High-performance C++20 simulator for molecular Coulomb explosions — SIMD-vectorized, cache-aware engine (~27× over scalar) generating ML training sets to invert momentum measurements back to molecular structure. mass-spring-neural-ode Jupyter notebook assignment for undergraduate ODEs class. Uses a neural ODE to learn a nonlinear damping response from real experimental data.