TY  - RPRT
TI  - Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
AU  - Xingqi Lin
AU  - Liangyu Chen
AU  - Min Wu
AU  - Min Zhang
AU  - Zhenbing Zeng
PY  - 2025
UR  - https://arxiv.org/abs/2511.11699
ID  - 2511.11699
ER  -