Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification

Open in new window