loveisp/ai4ed2024sol

Solutions for the AAAI2024 Global Competition on Math Problem Solving and Reasoning

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