%0 Conference Paper %1 conf/aaai/FuWZWFH0C024 %A Fu, Feisi %A Wang, Zhilu %A Zhou, Weichao %A Wang, Yixuan %A Fan, Jiameng %A Huang, Chao %A Zhu, Qi %A Chen, Xin %A Li, Wenchao %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 12061-12071 %T REGLO: Provable Neural Network Repair for Global Robustness Properties. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#FuWZWFH0C024

@inproceedings{conf/aaai/FuWZWFH0C024, added-at = {2024-04-02T00:00:00.000+0200}, author = {Fu, Feisi and Wang, Zhilu and Zhou, Weichao and Wang, Yixuan and Fan, Jiameng and Huang, Chao and Zhu, Qi and Chen, Xin and Li, Wenchao}, biburl = {https://www.bibsonomy.org/bibtex/2d100cea3386fa1493b6e3da0f8b62716/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i11.29094}, interhash = {53a3841dbde850d18144e3e1e795f1b6}, intrahash = {d100cea3386fa1493b6e3da0f8b62716}, keywords = {dblp}, pages = {12061-12071}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {REGLO: Provable Neural Network Repair for Global Robustness Properties.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#FuWZWFH0C024}, year = 2024 }