Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. - Xingqi Lin; Liangyu Chen 001; Min Wu 003; Min Zhang 002; Zhenbing Zeng (AAAI, 2026)