@article{tightertruncatedrectangularprismapproxim, title = {Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification}, author = {Xingqi Lin and Liangyu Chen and Min Wu and Min Zhang and Zhenbing Zeng}, year = {2025}, eprint = {2511.11699}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2511.11699}, }