Lin, Xingqi, Liangyu Chen, Min Wu, Min Zhang, and Zhenbing Zeng. “Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 28 (March 14, 2026): 23603–23611. Accessed May 18, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/39533.