Liu, Chengwu
- FIMO: A Challenge Formal Dataset for Automated Theorem Proving
2023/09/08 by Liu, Chengwu, Shen, Jianhao, Xin, Huajian +9 · 8 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Process-Driven Autoformalization in Lean 4
2024/06/04 by Lu, Jianqiao, Wan, Yingjia, Liu, Zhengying +10 · 8 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
2025/06/05 by Chengwu Liu, Ye Yuan, Liu, Chengwu +16 · 6 citations
Decision Sciences · Materials Science · Computer Science · #Scientific Computing and Data Management #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing
- A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning
2024/08/09 by Yuan, Ye, Liu, Chengwu, Yuan, Jingyang +3 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR)
- Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
2025/02/17 by Xin Xu, Xu, Xin, Yan Xu +19 · 1 citation
Computer Science · Mathematics · Social Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Educational Assessment and Pedagogy #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Statistics Education and Methodologies