Journal
Notes on verifiable engineering.
Our work on formal reasoning across software, hardware, and biology.
July 23, 2026
How we solved PutnamBench
A look at formally proving undergraduate competition mathematics
Journal
Our work on formal reasoning across software, hardware, and biology.
July 23, 2026
A look at formally proving undergraduate competition mathematics