Blog
Verification, Rigor, and AI Safety
Placeholder reflections on proof, testing, and trustworthy AI systems.
This is a placeholder post. Replace with a real essay on verification methods and mathematical rigor in AI.
What I want to explore next
Sketch research questions you want to pursue as you build credible AI systems.