Lin, X.; Chen, L.; Wu, M.; Zhang, M.; Zeng, Z. Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. AAAI 2026, 40, 23603-23611.