X. Lin, L. Chen, M. Wu, M. Zhang, and Z. Zeng, “Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification”, AAAI, vol. 40, no. 28, pp. 23603–23611, Mar. 2026.