Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification.

Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng

Browse the full AAAI paper archive.