TY  - RPRT
TI  - Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
AU  - Hanjiang Hu
AU  - Bowei Li
AU  - Ziwei Wang
AU  - Tianhao Wei
AU  - Casidhe Hutchison
AU  - Eric Sample
AU  - Changliu Liu
PY  - 2025
UR  - https://arxiv.org/abs/2510.00083
ID  - 2510.00083
ER  -