Pan, C. (2025) “Efficient Robustness Evaluation via Constraint Relaxation”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(6), pp. 6263–6271. doi: 10.1609/aaai.v39i6.32670.