Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees

Marzari et al. "Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I19.30134

[Marzari et al. "Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/marzari2024aaai-enumerating/) doi:10.1609/AAAI.V38I19.30134

@inproceedings{marzari2024aaai-enumerating,
  title     = {{Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees}},
  author    = {Marzari, Luca and Corsi, Davide and Marchesini, Enrico and Farinelli, Alessandro and Cicalese, Ferdinando},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {21387-21394},
  doi       = {10.1609/AAAI.V38I19.30134},
  url       = {https://mlanthology.org/aaai/2024/marzari2024aaai-enumerating/}
}