Lin, Xingqi, Liangyu Chen, Min Wu, Min Zhang, and Zhenbing Zeng. 2026. “Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (28):23603-11. https://doi.org/10.1609/aaai.v40i28.39533.