Solutions for AI4ED 2024 Competition

Here are our solutions for the AAAI2024 Global Competition on Math Problem Solving and Reasoning, including both Track 1 - Chinese Math Problem Solving and Track 2 - Chinese Math Problem Solving:

• Solution for Track 1
• Solution for Track 2

Team members

• Wei Dai, Robo Space (Captain)
• Tianao Lou, Chinese Academy of Sciences
• Zehua Cheng, Oxford University
• Yuanqing Zhao, Nvidia

Model List

The models used in our solutions:

• meta-math/MetaMath-70B-V1.0
• meta-math/MetaMath-Mistral-7B
• meta-math/MetaMath-Llemma-7B
• akjindal53244/Arithmo-Mistral-7B
• WizardLM/WizardMath-70B-V1.0

Environment

• PyTorch
• transformers 4.36.2
• vllm 0.2.6