How Can Bounds Travel Through a Network? Neural Network Certification, Part 3
Follow ranges through April’s tiny classifier and turn a lower bound on its output margin into a certificate.
Recent posts
What Would Count as a Proof? Neural Network Certification, Part 2
April meets a tiny ReLU classifier as we turn an informal promise into a mathematical statement and prove it by hand.
Why Testing Is Not Proof: Neural Network Certification, Part 1
April the Siberian cat helps us see why an attack can disprove robustness, while only a certificate can prove it.
Making Reliable Research Agents Accessible
How PIRA helps research agents stay focused, use strong evidence, make safe changes, and remember important work.
What ICLR 2026 Is Really About
My read of ICLR 2026: foundation models still dominate, but reliability, agents, evaluation, and security increasingly define the conference.