Rethinking the Tightness–Efficiency Trade-off in Certified Robustness
Date:
Presented in May 2026. Presentation on the computational and certification trade-offs in neural-network robustness verification.
Date:
Presented in May 2026. Presentation on the computational and certification trade-offs in neural-network robustness verification.