I am a Master 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.
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.
Publications
* indicates corresponding author
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.
Honors and Awards
(Selected)- 2023 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
Competetions
(Selected)- 2024.02 1st Prize, Track 2, AAAI 2024 Global Competition on Math Problem Solving and Reasoning.
- 2024.02 2nd Prize, Track 1, AAAI 2024 Global Competition on Math Problem Solving and Reasoning.
- 2024.07 1st Prize, Track 1-1: Autoformalization, ICML 2024 Challenges on Automated Math Reasoning.
- 2024.07 1st Prize, Track 1-2: Auto-Informalization, ICML 2024 Challenges on Automated Math Reasoning.