Red Teaming Game: A Game-Theoretic Framework for Red Teaming Language Models. - Chengdong Ma; Ziran Yang; Minquan Gao; Hai Ci; Jun Gao; Xuehai Pan; Yaodong Yang 001 (CoRR, 2023)

SafeSora: Towards Safety Alignment of Text2Video Generation via a Human Preference Dataset. - Juntao Dai; Tianle Chen 001; Xuyao Wang; Ziran Yang; Taiye Chen; Jiaming Ji; Yaodong Yang 001 (NeurIPS, 2024)

Panacea: Pareto Alignment via Preference Adaptation for LLMs. - Yifan Zhong; Chengdong Ma; Xiaoyuan Zhang; Ziran Yang; Haojun Chen; Qingfu Zhang 001; Siyuan Qi; Yaodong Yang 001 (NeurIPS, 2024)

SafeSora: Towards Safety Alignment of Text2Video Generation via a Human Preference Dataset. - Josef Dai; Tianle Chen 001; Xuyao Wang; Ziran Yang; Taiye Chen; Jiaming Ji; Yaodong Yang 001 (CoRR, 2024)

ChemSafetyBench: Benchmarking LLM Safety on Chemistry Domain. - Haochen Zhao; Xiangru Tang; Ziran Yang; Xiao Han; Xuanzhi Feng; Yueqing Fan; Senhao Cheng; Di Jin; Yilun Zhao 001; Arman Cohan; Mark Gerstein (CoRR, 2024)

From Uncertainty to Trust: Enhancing Reliability in Vision-Language Models with Uncertainty-Guided Dropout Decoding. - Yixiong Fang; Ziran Yang; Zhaorun Chen; Zhuokai Zhao; Jiawei Zhou (CoRR, 2024)

Offline Reinforcement Learning for LLM Multi-Step Reasoning. - Huaijie Wang; Shibo Hao; Hanze Dong; Shenao Zhang; Yilin Bao; Ziran Yang; Yi Wu (CoRR, 2024)

Offline Reinforcement Learning for LLM Multi-step Reasoning. - Huaijie Wang; Shibo Hao; Hanze Dong; Shenao Zhang; Yilin Bao; Ziran Yang; Yi Wu 013 (ACL (Findings), 2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. - Yong Lin; Shange Tang; Bohan Lyu 001; Ziran Yang; Jui-Hui Chung; Haoyu Zhao; Lai Jiang; Yihan Geng; Jiawei Ge 003; Jingruo Sun; Jiayun Wu; Jiri Gesi; et al. (CoRR, 2025)