Dennis Wei, Haoze Wu 0001, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi. Convex Bounds on the Softmax Function with Applications to Robustness Verification. In Francisco J. R. Ruiz, Jennifer G. Dy, Jan-Willem van de Meent, editors, International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain. Volume 206 of Proceedings of Machine Learning Research, pages 6853-6878, PMLR, 2023. [doi]
@inproceedings{Wei0WCBF23,
title = {Convex Bounds on the Softmax Function with Applications to Robustness Verification},
author = {Dennis Wei and Haoze Wu 0001 and Min Wu and Pin-Yu Chen and Clark W. Barrett and Eitan Farchi},
year = {2023},
url = {https://proceedings.mlr.press/v206/wei23c.html},
researchr = {https://researchr.org/publication/Wei0WCBF23},
cites = {0},
citedby = {0},
pages = {6853-6878},
booktitle = {International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain},
editor = {Francisco J. R. Ruiz and Jennifer G. Dy and Jan-Willem van de Meent},
volume = {206},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
}