ManiFoundation Model for General-Purpose Robotic Manipulation of Contact Synthesis with Arbitrary Objects and Robots. - Zhixuan Xu; Chongkai Gao; Zixuan Liu 002; Gang Yang; Chenrui Tie; Haozhuo Zheng; Haoyu Zhou; Weikun Peng; Debang Wang; Tianrun Hu; Tianyi Chen; Zhouliang Yu; et al. (IROS, 2024)

CodeEditorBench: Evaluating Code Editing Capability of Large Language Models. - Jiawei Guo; Ziming Li; Xueling Liu; Kaijing Ma; Tianyu Zheng; Zhouliang Yu; Ding Pan; Yizhi Li; Ruibo Liu; Yue Wang; Shuyue Guo; Xingwei Qu; et al. (CoRR, 2024)

Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model. - Xinrun Du; Zhouliang Yu; Songyang Gao; Ding Pan; Yuyang Cheng; Ziyang Ma 001; Ruibin Yuan; Xingwei Qu; Jiaheng Liu; Tianyu Zheng; Xinchen Luo; Guorui Zhou; et al. (CoRR, 2024)

ManiFoundation Model for General-Purpose Robotic Manipulation of Contact Synthesis with Arbitrary Objects and Robots. - Zhixuan Xu; Chongkai Gao; Zixuan Liu 002; Gang Yang; Chenrui Tie; Haozhuo Zheng; Haoyu Zhou; Weikun Peng; Debang Wang; Tianyi Chen; Zhouliang Yu; Lin Shao 002 (CoRR, 2024)

ASP: Learn a Universal Neural Solver! - Chenguang Wang 011; Zhouliang Yu; Stephen McAleer; Tianshu Yu 001; Yaodong Yang 001 (IEEE Trans. Pattern Anal. Mach. Intell., 2024)

Generating Symbolic World Models via Test-time Scaling of Large Language Models. - Zhouliang Yu; Yuhuan Yuan; Tim Z. Xiao; Fuxiang Frank Xia; Jie Fu 001; Ge Zhang 009; Ge Lin; Weiyang Liu (Trans. Mach. Learn. Res., 2025)

COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values. - M.-A-P. Team; Siwei Wu; Jincheng Ren; Xinrun Du; Shuyue Guo; Xingwei Qu; Yiming Liang; Jie Liu 047; Yunwen Li; Tianyu Zheng; Boyu Feng; Huaqing Yuan; et al. (CoRR, 2025)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models. - Zhouliang Yu; Ruotian Peng; Keyi Ding; Yizhe Li; Zhongyuan Peng; Minghao Liu 003; Yifan Zhang; Zheng Yuan; Huajian Xin; Wenhao Huang 001; Yandong Wen; Ge Zhang 009; et al. (CoRR, 2025)

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)