-
AI Safety
Three Papers That Changed How We Prove AI Won't Fail Us
Testing checks a few thousand scenarios. Verification proves correctness across every possible one. Three papers built this field.
-
Deep Dive
From Simplex to Reluplex: How We Learned to Verify Neural Networks
Reluplex is one of those papers where the core idea is deeply satisfying once you see it. This post builds the intuition from the ground up.
Blog
Perspectives on AI safety, verification, and trustworthy autonomy.