%0 Conference Paper %1 conf/ijcai/Wang0023 %A Wang, Zhilu %A Huang, Chao %A Zhu, Qi %B IJCAI %D 2023 %I ijcai.org %K dblp %P 6498-6503 %T Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#Wang0023

@inproceedings{conf/ijcai/Wang0023, added-at = {2023-08-28T00:00:00.000+0200}, author = {Wang, Zhilu and Huang, Chao and Zhu, Qi}, biburl = {https://www.bibsonomy.org/bibtex/22cf1a861baa33ad9d7ba2d63ac4c0bb2/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/727}, interhash = {c991fb8b18d8a3dd512d61db12661bbb}, intrahash = {2cf1a861baa33ad9d7ba2d63ac4c0bb2}, keywords = {dblp}, pages = {6498-6503}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:02.000+0200}, title = {Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#Wang0023}, year = 2023 }