Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks.

Tianyu Du, Shouling Ji, Lujia Shen, Yao Zhang, Jinfeng Li, Jie Shi, Chengfang Fang, Jianwei Yin, Raheem Beyah, Ting Wang

Browse the full CCS paper archive.