Yu, Zhouliang
- Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
2025/04/15 by Wang, Haiming, Unsal, Mert, Lin, Xiaohan +37 · 46 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- CodeEditorBench: Evaluating Code Editing Capability of Large Language Models
2024/04/04 by Guo, Jiawei, Li, Ziming, Liu, Xueling +13 · 4 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- ASP: Learn a Universal Neural Solver!
2023/03/01 by Chenguang Wang, Wang, Chenguang, Zhouliang Yu +7 · 3 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Algorithms #Metaheuristic Optimization Algorithms Research #Optimization and Control (math.OC) #Vehicle Routing Optimization Methods
- FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
2025/05/05 by Zhouliang Yu, Ruotian Peng, Yu, Zhouliang +23 · 10 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques
- Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model
2024/04/05 by Xinrun Du, Du, Xinrun, Zhouliang Yu +25 · 3 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling
- CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
2025/07/08 by Peng, Zhongyuan, Yao, Yifan, Ma, Kaijing +16 · 6 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- ManiFoundation Model for General-Purpose Robotic Manipulation of Contact Synthesis with Arbitrary Objects and Robots
2024/05/11 by Xu, Zhixuan, Gao, Chongkai, Liu, Zixuan +10 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)