(Verifiable) AI is a Compiler
When LLMs meet formal methods, AI code generation becomes provably correct.
Tony's Blog
2025
Is AI the Catalyst for Practical Software Verification?
Formal verification has always been powerful but impractical. AI might be the catalyst that finally makes it mainstream.
2018
Consensus Protocol Using TLA+
Looking to dive into distributed systems research, I recently started learning how to write TLA+ specifications. TLA+ is a specification language used to mat...