Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)

Wang et al. "Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/727

[Wang et al. "Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/wang2023ijcai-efficient/) doi:10.24963/IJCAI.2023/727

@inproceedings{wang2023ijcai-efficient,
  title     = {{Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)}},
  author    = {Wang, Zhilu and Huang, Chao and Zhu, Qi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6498-6503},
  doi       = {10.24963/IJCAI.2023/727},
  url       = {https://mlanthology.org/ijcai/2023/wang2023ijcai-efficient/}
}