I am a Master student at the School of Computer Science and Technology, University of Science and Technology of China (USTC), and a member of the State Key Laboratory of Cognitive Intelligence. Before that, I received my bachelorβs degree in Computer Science from Shandong University (SDU) in June 2023.
My current research interests primarily focus on:
- LLM with reasoning: enhancing LLMsβ capabilities to solve real-world tasks (e.g., mathematical reasoning) by leveraging knowledge in a human-like manner.
- LLM with tool learning: Enhancing LLMsβ problem-solving capabilities through building agents to utilize external tools or automatically create reusable tools.
π₯ News
- 2025.05: π Our Tool-MVR about tool learning has been accepted by SIGKDD 2025οΌ
- 2024.12: π Our KTCE about tool creation and reasoning has been accepted by AAAI 2025οΌ
- 2024.12: π We won the championship in the Baidu Search Β· NVIDIA Β· Tool-Calling Agent Competition! (Report)
- 2024.07: π We won two championships in the ICML 2024 Automated Mathematical Reasoning Competition! (Report 1, Report 2)
- 2024.03: π We won a championship and a runner-up in the AAAI 2024 Math Problem Solving Competition! (Report 1, Report 2)
π Publications
- Advancing Tool-Augmented Large Language Models via Meta-Verification and Reflection Learning, Zhiyuan Ma, Jiayu Liu, Xianzhen Luo, Zhenya Huang*, Qingfu Zhu, Wanxiang Che, Accepted by SIGKDD 2025.
- Knowledge-Centered Dual-Process Reasoning for Math Word Problems With Large Language Models, Jiayu Liu, Zhenya Huang, Qi Liu, Zhiyuan Ma, Chengxiang Zhai, Enhong Chen*, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2025.
- Automated Creation of Reusable and Diverse Toolsets for Enhancing LLM Reasoning, Zhiyuan Ma, Zhenya Huang*, Jiayu Liu, Minmao Wang, Hongke Zhao, Xin Li, Published by AAAI 2025.
- A Diffusion-Based Cognitive Diagnosis Framework for Robust Learner Assessment, Guanhao Zhao, Zhenya Huang*, Yan Zhuang, Haoyang Bi, Yiyan Wang, Fei Wang, Zhiyuan Ma, Yixia Zhao, IEEE Transactions on Learning Technologies (TLT), 2024.
-
A Unified M-Tree Self-Correction Solver For Math Word Problems, Zhiyuan Ma, Jiayu Liu, Zhenya Huang*, Accepted by JUSTC 2024.
- Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge, Jiayu Liu, Zhenya Huang, Zhiyuan Ma, Qi Liu, Enhong Chen*, Tianhuang Su, Haifeng Liu, Accepted by SIGKDD 2023.
π Competitions
- 2024.12 1st Prize (1/1008), Baidu Search Β· NVIDIA Β· Tool-Calling Agent Competition.
- 2024.07 1st Prize (1/172), Track 1-1: Autoformalization, ICML 2024 Challenges on Automated Math Reasoning.
- 2024.07 1st Prize (1/122), Track 1-2: Auto-Informalization, ICML 2024 Challenges on Automated Math Reasoning.
- 2024.02 1st Prize (1/120), Track 2, AAAI 2024 Global Competition on Math Problem Solving and Reasoning.
- 2024.02 2nd Prize (2/58), Track 1, AAAI 2024 Global Competition on Math Problem Solving and Reasoning.
π Honors and Awards
- 2023, 2024 Academic Scholarship, School of Computer Science, USTC
- 2023 Outstanding Graduate, SDU
- 2022 National Scholarship, Ministry of Education, China
- 2020, 2021 National Encouragement scholarship, Ministry of Education, China
- 2023 Merit Student, SDU
- 2022 Huawei Scholarship
- 2022 Baosteel Scholarship
- 2020, 2021, 2022 Academic Scholarship, School of Computer Science, SDU
π Educations
- 2019.09 - 2023.06, Undergraduate, Computer Science and Technology, Shandong University.
- 2023.09 - Present, Master, Computer Science and Technology, University of Science and Technology of China.
π¬ Invited Talks
- 2025.03, AAAI 2025 Main Conference Oral, Philadelphia, Pennsylvania. (Video)
- 2024.07, ICML 2024 AI for Math Workshop, Vienna, Austria. (Video)
π» Internships
- 2025.05 - Present, Meituan Beidou Program Intern (LLM Agent for Business), China.