@misc{indiciaed51a053dc8ea,
  title = {Mini-Batch Robustness Verification of Deep Neural Networks},
  author = {Saar Tzour-Shaday and Dana Drachsler-Cohen},
  year = {2025},
  doi = {10.1145/3763150},
  url = {https://arxiv.org/abs/2508.15454},
  note = {Source identifier: 2508.15454}
}