User Password Intelligence Enhancement by Dynamic Generation Based on Markov Model. - Zhendong Wu; Yihang Xia (ICA3PP (4), 2018)

SEAF: A Scalable, Efficient, and Application-independent Framework for container security detection. - Libo Chen 001; Yihang Xia; Zhenbang Ma; Ruijie Zhao 001; Yanhao Wang; Yue Liu; Wenqi Sun; Zhi Xue (J. Inf. Secur. Appl., 2022)

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization. - Zhongyuan Peng; Yifan Yao; Kaijing Ma; Shuyue Guo; Yizhe Li; Yichi Zhang; Chenchen Zhang; Yifan Zhang; Zhouliang Yu; Luming Li; Minghao Liu 003; Yihang Xia; et al. (CoRR, 2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. - Luoxin Chen; Jinming Gu; Liankai Huang; Wenhao Huang 001; Zhicheng Jiang; Allan Jie; Xiaoran Jin; Xing Jin; Chenggang Li; Kaijing Ma; Cheng Ren; Jiawei Shen; et al. (CoRR, 2025)