Mar 14, 2026 Why Intervals Break: DPNEURIFYFV and the Dependency Problem Mar 13, 2026 Formal Verification for Safe Intelligence: The DeepPoly View