File size: 4,908 Bytes
67945ec dddc1ae 2c223a5 1d2a897 |
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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 |
*.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
|