Mar 16, 2026 VerifIoU: Verified Object Detection and the Next Frontier in Safe CV Mar 15, 2026 DeepG: Certifying Geometric Robustness in Computer Vision Mar 14, 2026 Why Intervals Break: DPNEURIFYFV and the Dependency Problem Mar 13, 2026 Formal Verification for Safe Intelligence: The DeepPoly View