| *.7z filter=lfs diff=lfs merge=lfs -text | |
| *.arrow filter=lfs diff=lfs merge=lfs -text | |
| *.bin filter=lfs diff=lfs merge=lfs -text | |
| *.bz2 filter=lfs diff=lfs merge=lfs -text | |
| *.ckpt filter=lfs diff=lfs merge=lfs -text | |
| *.ftz filter=lfs diff=lfs merge=lfs -text | |
| *.gz filter=lfs diff=lfs merge=lfs -text | |
| *.h5 filter=lfs diff=lfs merge=lfs -text | |
| *.joblib filter=lfs diff=lfs merge=lfs -text | |
| *.lfs.* filter=lfs diff=lfs merge=lfs -text | |
| *.mlmodel filter=lfs diff=lfs merge=lfs -text | |
| *.model filter=lfs diff=lfs merge=lfs -text | |
| *.msgpack filter=lfs diff=lfs merge=lfs -text | |
| *.npy filter=lfs diff=lfs merge=lfs -text | |
| *.npz filter=lfs diff=lfs merge=lfs -text | |
| *.onnx filter=lfs diff=lfs merge=lfs -text | |
| *.ot filter=lfs diff=lfs merge=lfs -text | |
| *.parquet filter=lfs diff=lfs merge=lfs -text | |
| *.pb filter=lfs diff=lfs merge=lfs -text | |
| *.pickle filter=lfs diff=lfs merge=lfs -text | |
| *.pkl filter=lfs diff=lfs merge=lfs -text | |
| *.pt filter=lfs diff=lfs merge=lfs -text | |
| *.pth filter=lfs diff=lfs merge=lfs -text | |
| *.rar filter=lfs diff=lfs merge=lfs -text | |
| *.safetensors filter=lfs diff=lfs merge=lfs -text | |
| saved_model/**/* filter=lfs diff=lfs merge=lfs -text | |
| *.tar.* filter=lfs diff=lfs merge=lfs -text | |
| *.tar filter=lfs diff=lfs merge=lfs -text | |
| *.tflite filter=lfs diff=lfs merge=lfs -text | |
| *.tgz filter=lfs diff=lfs merge=lfs -text | |
| *.wasm filter=lfs diff=lfs merge=lfs -text | |
| *.xz filter=lfs diff=lfs merge=lfs -text | |
| *.zip filter=lfs diff=lfs merge=lfs -text | |
| *.zst filter=lfs diff=lfs merge=lfs -text | |
| *tfevents* filter=lfs diff=lfs merge=lfs -text | |
| results.json filter=lfs diff=lfs merge=lfs -text | |
| test/15k_state_problem_translation.json filter=lfs diff=lfs merge=lfs -text | |
| test/lean4_random/1k_test.json filter=lfs diff=lfs merge=lfs -text | |
| test/lean4_random/5k_first.json filter=lfs diff=lfs merge=lfs -text | |
| test/lean4_random/5k_second.json filter=lfs diff=lfs merge=lfs -text | |
| test/lean4_random/5k_third.json filter=lfs diff=lfs merge=lfs -text | |
| test/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_basic_test/generation/lean4_random_5k_first_1epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_basic_test/generation/lean4_random_5k_first_2epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_basic_test/generation/lean4_random_5k_first_3epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_random_test/generation/lean4_random_5k_first_1epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_random_test/generation/lean4_random_5k_first_2epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/lean4_random_test/generation/lean4_random_5k_first_3epoch/1/result.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/math_train/generation/lean4_random_15k_all/2/1/0.json filter=lfs diff=lfs merge=lfs -text | |
| test/zero_shot/math_train/generation/lean4_random_15k_all/2/1/1.json filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt3/1.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt3/2.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt3/3.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt3/4.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt3/5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt4/1.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt4/2.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt4/3.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt4/4.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_basic/gpt4/5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt3/1.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt3/2.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt3/3.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt3/4.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt3/5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt4/1.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt4/2.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt4/3.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt4/4.jsonl filter=lfs diff=lfs merge=lfs -text | |
| gpt_result/lean_random/gpt4/5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| compile_result/gsm8k_train/lean4_random_15kpass10.jsonl filter=lfs diff=lfs merge=lfs -text | |
| compile_result/math_train/lean4_random_15kpass10.jsonl filter=lfs diff=lfs merge=lfs -text | |
| compile_result/wild_test/lean4_random_15kpass5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/updated_lean4_kv.json filter=lfs diff=lfs merge=lfs -text | |
| pass_rate_results/compile_result/lean4_basic_test/lean4_random_15kpass5.jsonl filter=lfs diff=lfs merge=lfs -text | |
| pass_rate_results/compile_result/lean4_random_test/lean4_random_15kpass5.jsonl filter=lfs diff=lfs merge=lfs -text | |