FIMO: A Challenge Formal Dataset for Automated Theorem Proving. - Chengwu Liu 001; Jianhao Shen; Huajian Xin; Zhengying Liu; Ye Yuan 016; Haiming Wang; Wei Ju 001; Chuanyang Zheng; Yichun Yin; Lin Li; Ming Zhang 004; Qun Liu 001 (CoRR, 2023)

A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning. - Ye Yuan 016; Chengwu Liu 001; Jingyang Yuan; Gongbo Sun; Siqi Li; Ming Zhang 004 (CoRR, 2024)

WavingSketch: an unbiased and generic sketch for finding top-k items in data streams. - Zirui Liu 002; Fenghao Dong; Chengwu Liu 001; Xiangwei Deng; Tong Yang 003; Yikai Zhao 001; Jizhou Li; Bin Cui 001; Gong Zhang 001 (VLDB J., 2024)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. - Chengwu Liu 001; Ye Yuan 016; Yichun Yin; Yan Xu; Xin Xu; Zaoyu Chen; Yasheng Wang; Lifeng Shang; Qun Liu 001; Ming Zhang 004 (ACL (1), 2025)

MHGC: Multi-scale hard sample mining for contrastive deep graph clustering. - Tao Ren 002; Haodong Zhang; Yifan Wang; Wei Ju 001; Chengwu Liu 001; Fanchun Meng; Siyu Yi; Xiao Luo 001 (Inf. Process. Manag., 2025)

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving. - Xin Xu; Yan Xu; Tianhao Chen; Yuchen Yan; Chengwu Liu 001; Zaoyu Chen; Yufei Wang 005; Yichun Yin; Yasheng Wang; Lifeng Shang; Qun Liu 001 (CoRR, 2025)

FMC: Formalization of Natural Language Mathematical Competition Problems. - Jiaxuan Xie; Chengwu Liu 001; Ye Yuan 016; Siqi Li; Zhiping Xiao 001; Ming Zhang 004 (CoRR, 2025)