logs.txt
*.pyc
Erdos_Prover.egg-info/*
logs/*
datasets/*

save/*
!save/step1_solve_counter_example_train_data_10_erdos_5.json
!save/step2_generate_formal_proof_train_data_10_erdos_5_deepseek_v15_rl_5.json
!save/step3_check_data_label_train_data_10_erdos_5_deepseek_v15_rl_5.json

models/*
!models/README.md