RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks. - Yunruo Zhang; Tianyu Du; Shouling Ji; Peng Tang; Shanqing Guo (CoRR, 2023)

GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers. - Yunruo Zhang; Lujia Shen; Shanqing Guo; Shouling Ji (AAAI, 2024)

DROWN: Towards Tighter LiRPA-based Robustness Certification. - Yunruo Zhang; Tianyu Du; Shouling Ji; Shanqing Guo (COLING, 2025)