AINeutralarXiv – CS AI · 18h ago6/10
🧠
Hybrid Robustness Verification for Spatio-Temporal Neural Networks
Researchers introduce Spatio-Temporal Bound Propagation (STBP), a verification framework for neural networks processing video and volumetric data that provides formal robustness guarantees under realistic adversarial constraints. The method achieves 1.7x higher certified robust accuracy compared to existing approaches while maintaining computational scalability, addressing a critical gap in AI safety for applications like autonomous driving and medical imaging.