@inproceedings{NEURIPS2021_8df6a659, author = {Leino, Klas and Fredrikson, Matt}, booktitle = {Advances in Neural Information Processing Systems}, editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan}, pages = {17072--17083}, publisher = {Curran Associates, Inc.}, title = {Relaxing Local Robustness}, url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/8df6a65941e4c9da40a4fb899de65c55-Paper.pdf}, volume = {34}, year = {2021} }