Projects
Featured
TAO Roadmap
An interactive tool that guides practitioners through the Causal Roadmap framework for real-world data studies, including target trial emulation and causal inference methodology selection. In collaboration with Andrew Wilson, Aimee Harrison, and Jeff Zhou.
Featured
Sandy
An autonomous AI agent that forages across Wikipedia, academic papers, and news to discover "sandwiches"; i.e. structured knowledge artifacts where two related concepts (the bread) meaningfully bound a third (the filling). Each sandwich is validated across five weighted dimensions including novelty, specificity, and non-triviality.
He has vast intelligence. He chooses to make sandwiches.
Open Ramsay
Open-source attempt to prove R(5,5) ≥ 44 in Ramsey theory. Uses algebraic graph constructions, local search optimization, SAT solvers, and formal verification in Lean 4.
JudoBot
A reinforcement learning agent that learns Judo tactics via Q-learning. Models grip control, stance, and fatigue in a simulated environment.
Bayesian Metal Genre Analysis
Bayesian statistical analysis of metal music genres across Germany, Norway, Sweden, and the UK, with a hierarchical genre classification system.