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:
- Wei Dai, Robo Space (Captain)
- Tianao Lou, Chinese Academy of Sciences
- Zehua Cheng, Oxford University
- Yuanqing Zhao, Nvidia
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
- PyTorch
- transformers 4.36.2
- vllm 0.2.6