TY  - RPRT
TI  - Mini-Batch Robustness Verification of Deep Neural Networks
AU  - Saar Tzour-Shaday
AU  - Dana Drachsler-Cohen
PY  - 2025
DO  - 10.1145/3763150
UR  - https://arxiv.org/abs/2508.15454
ID  - 2508.15454
ER  -