Chengwu Liu

According to our database, Chengwu Liu authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

FMC: Formalization of Natural Language Mathematical Competition Problems.

Jiaxuan Xie, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, Ming Zhang

CoRR, July, 2025

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving.

Xin Xu, Yan Xu, Tianhao Chen, Yuchen Yan, Chengwu Liu, Zaoyu Chen, Yufei Wang, Yichun Yin, Yasheng Wang, Lifeng Shang, Qun Liu

CoRR, February, 2025

MHGC: Multi-scale hard sample mining for contrastive deep graph clustering.

Tao Ren, Haodong Zhang, Yifan Wang, Wei Ju, Chengwu Liu, Fanchun Meng, Siyu Yi, Xiao Luo

Inf. Process. Manag., 2025

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification.

Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

WavingSketch: an unbiased and generic sketch for finding top-k items in data streams.

Zirui Liu, Fenghao Dong, Chengwu Liu, Xiangwei Deng, Tong Yang, Yikai Zhao, Jizhou Li, Bin Cui, Gong Zhang

VLDB J., September, 2024

A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning.

Ye Yuan, Chengwu Liu, Jingyang Yuan, Gongbo Sun, Siqi Li, Ming Zhang

CoRR, 2024

2023

FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu

CoRR, 2023