Lin, X. (2026) “Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(28), pp. 23603–23611. doi: 10.1609/aaai.v40i28.39533.