Mini-Batch Robustness Verification of Deep Neural Networks.

Saar Tzour-Shaday Dana Drachsler-Cohen Mini-Batch Robustness Verification of Deep Neural Networks. 2786-2814 2025 9 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3763150 db/journals/pacmpl/pacmpl9.html#Tzour-ShadayD25