Lin, X., Chen, L., Wu, M., Zhang, M., & Zeng, Z. (2026). Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. Proceedings of the AAAI Conference on Artificial Intelligence, 40(28), 23603–23611. https://doi.org/10.1609/aaai.v40i28.39533