works on
adaptive scheduling 1constrained optimization 1diffusion models 1motion planning 1safety enforcement 1

From the 1 of 5 linked papers with an AI index.

collaborators
Showing cs.CVShow all

1 paper · 1 filter

cs.CV2025

Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks

Hanjiang Hu, Bowei Li, Ziwei Wang +4

Deep neural networks have been widely adopted in many vision and robotics applications with visual inputs. It is essential to verify its robustness against semantic transformation…