Generative AI and Stochastic Thermodynamics
A book with Max Welling and Lars Holdijk on the free-energy unification of generative AI and stochastic thermodynamics. Cambridge University Press, July 2026.
Projects
A collection of projects I've worked on, ranging from academic research to personal explorations. If you think it would be useful or interesting to collaborate on a project, please contact me to discuss.
Featured Projects
TNLean: tensor networks, formally verified
Multi-agent autoformalization of tensor-network theory in Lean 4 / Mathlib: the fundamental theorem of matrix-product states, machine-checked.
TeXRA: Multi-agent AI for theorists
Multi-agent AI research assistant (VS Code / Cursor / CLI) that grounds LLM reasoning in Wolfram algebra and Lean 4 formal proof.
Other Projects
Agentic Publication Protocol
An open protocol for publishing papers as AI agents: bundle a paper with code, data, and an AGENTS.md so any agent can explain it, reproduce results, and support follow-up. Preprint out now.
Lean-verified quantum error-correcting codes
A multi-agent search plus a Lean 4 library certifying Knill-Laflamme constraints for exact nonadditive quantum codes, with a distance-2 catalogue and BD16 distance-3 examples.
GitHub Activity
My GitHub ↗ contributions over the past year. Colored squares represent days with commits.