Building an Unverified Compiler with Agents
Four agents spent 14 days and 93,000 lines of Lean building a verified JS-to-WASM compiler from scratch. The compiler ran; the proofs didn’t close.
People
Postdoctoral Fellow, Basis
Dan Waxman is a postdoctoral fellow at Basis, supervised by Matt Levine at Basis and Youssef Marzouk at MIT. His interests include probabilistic machine learning and causal inference, broadly interpreted, with a particular focus on sequential inference and dynamical systems. He completed his PhD in Electrical Engineering at Stony Brook University, where his dissertation addressed sequential Bayesian inference for online ensembles, decentralized learning, and scalable experimental design.
Basis essays and updates this person wrote or contributed to.