Zhengying Liu
- MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
2023/09/21 by Longhui Yu, Weisen Jiang, Yu, Longhui +17 · 160 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Text Readability and Simplification
- Kimi K2: Open Agentic Intelligence
2025/07/28 by Kimi Team, Yifan Bai, Bai, Yifan +363 · 6 voices · 87 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CL #cs.LG
- ToolACE: Winning the Points of LLM Function Calling
2024/09/02 by Weiwen Liu, Xu Huang, Liu, Weiwen +51 · 69 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Semantic Web and Ontologies
- LEGO-Prover: Neural Theorem Proving with Growing Libraries
2023/10/01 by Haiming Wang, Huajian Xin, Wang, Haiming +24 · 32 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- Progressive-Hint Prompting Improves Reasoning in Large Language Models
2023/04/19 by Chuanyang Zheng, Zheng, Chuanyang, Zhengying Liu +7 · 18 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- A Survey of Reasoning with Foundation Models: Concepts, Methodologies, and Outlook
2025/04/11 by Jiankai Sun, Chuanyang Zheng, Enze Xie +34 · 36 citations
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
2024/06/20 by Xiaohan Lin, Qingxing Cao, Lin, Xiaohan +13 · 11 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Semantic Web and Ontologies
- Lyra: Orchestrating Dual Correction in Automated Theorem Proving
2023/09/27 by Chuanyang Zheng, Haiming Wang, Zheng, Chuanyang +15 · 8 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
2023/10/16 by Kai Chen, Chen, Kai, Chunwei Wang +24 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling
- TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
2023/10/16 by Jing Xiong, Jianhao Shen, Xiong, Jing +25 · 7 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
- FormalAlign: Automated Alignment Evaluation for Autoformalization
2024/10/14 by J. G. Lu, Yingjia Wan, Lu, Jianqiao +9 · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Software Engineering Research
- ATG: Benchmarking Automated Theorem Generation for Generative Language Models
2024/05/05 by Xiaohan Lin, Lin, Xiaohan, Qingxing Cao +11 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
- Large Language Models as Automated Aligners for benchmarking Vision-Language Models
2023/11/24 by Yuanfeng Ji, Chongjian Ge, Ji, Yuanfeng +11 · 1 citation
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Topic Modeling
- Kimi K3: Open Frontier Intelligence
2026/07/27 by Kimi Team, Tongtong Bai, Yifan Bai +398 · 1 voice
#cs.CL #cs.LG