Notes
Everything published here, most recent first.
Applied maths
Formalising the world is AI's bottleneck
Formalising law and other systems
On rules and open dynamical systems
My Research
Making AI-generated CAD formally verifiable
U.S. Code 121
Learning default logic from statute
What Happens When Design Becomes Automated?
Lessons from 1988 Pixar animation
