Neuro-Symbolic Verification of Deep Neural Networks

Xie et al. "Neuro-Symbolic Verification of Deep Neural Networks." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/503

[Xie et al. "Neuro-Symbolic Verification of Deep Neural Networks." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/xie2022ijcai-neuro/) doi:10.24963/IJCAI.2022/503

@inproceedings{xie2022ijcai-neuro,
  title     = {{Neuro-Symbolic Verification of Deep Neural Networks}},
  author    = {Xie, Xuan and Kersting, Kristian and Neider, Daniel},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {3622-3628},
  doi       = {10.24963/IJCAI.2022/503},
  url       = {https://mlanthology.org/ijcai/2022/xie2022ijcai-neuro/}
}