AIMO2_initial/setup.txt at main · artnoage/AIMO2_initial · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
pip install unsloth vllm wandb langchain_core
pip install latex2sympy2 scipy matplotlib numpy sympy scipy networkx mpmath gmpy2 cvxpy pulp statsmodels
python -m venv myenv
sudo apt install build-essential
touch ~/.no_auto_tmux
wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh
bash Anaconda3-latest-Linux-x86_64.sh
source ~/.bashrc

git config --global user.name "artnoage"
git config --global user.email "artnoage@gmail.com"
CUDA_VISIBLE_DEVICES=3 python grpo_training/group_qwen3.py
git clone https://github.com/artnoage/AIMO2_initial.git
"unsloth/Qwen2.5-Coder-32B-Instruct"
"Metaskepsis/W"
python auxilary/hf_loader.py --type model --load down --path models/Coder --repo_name unsloth/Qwen2.5-Coder-32B-Instruct

python benchmark.py --dataset Metaskepsis/Numina_very_hard --main-temp 0 --best-of 1 --split train[:1000]
&& python benchmark.py --dataset Metaskepsis/Numina_medium --main-temp 0 --best-of 1 --split train[:1000]
&& python benchmark.py --dataset Metaskepsis/custom100bench --main-temp 0 --best-of 1
&& python benchmark.py --dataset Metaskepsis/custom219 --main-temp 0 --best-of 1
&& python benchmark.py --dataset AI-MO/aimo-validation-aime --main-temp 0 --best-of 1


python joined_benchmark.py --dataset Metaskepsis/Numina_medium --best-of 1 --main-temp 0 --auxiliary-temp 0 --main-port 8002 --auxiliary-port 8003