| *.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 | |
| data/all_theorem_solver.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_basic/1k_test.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_basic/1k_test_raw.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_gpt_5k/test/data.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_gpt_5k/train/data.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/1k_test.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_first.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_second.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_second_filtered.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_third.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_statement_translate/15k_state_problem_translation.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_statement_translate/15k_state_problem_translation_statement_form.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_statement_translate/15k_state_problem_translation_statementproof_inform.json filter=lfs diff=lfs merge=lfs -text | |
| data/test/math/train.jsonl filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/latest-run.10656/run-uzyiqb3v.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/latest-run.123918/run-itlu7dts.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240504_102712-1z84vjo1/run-1z84vjo1.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240505_142420-vx48r0mp/run-vx48r0mp.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240505_221021-1fhjldqc/run-1fhjldqc.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240506_155701-c0jyjrum/run-c0jyjrum.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240507_094958-uzyiqb3v/run-uzyiqb3v.wandb filter=lfs diff=lfs merge=lfs -text | |
| None/verifier-reproduce/wandb/run-20240507_172551-itlu7dts/run-itlu7dts.wandb filter=lfs diff=lfs merge=lfs -text | |
| data/continual_training/rft.json filter=lfs diff=lfs merge=lfs -text | |
| data/continual_training/rft_verifier_enhanced.json filter=lfs diff=lfs merge=lfs -text | |
| data/continual_training/verifier_enhanced.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_basic/1k_test_filtered.jsonl filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/15k_filtered.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/1k_test_filtered.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_first_filtered.json filter=lfs diff=lfs merge=lfs -text | |
| data/lean4_random/5k_third_filtered.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/0.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/1.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/2.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/3.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/4.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/5.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/6.json filter=lfs diff=lfs merge=lfs -text | |
| generate_result/zero_shot/lean4_15k_train/generation/lean4_random_15k_all/2/20/7.json filter=lfs diff=lfs merge=lfs -text | |
| user._COPYING_/chijx/test_file_1GB._COPYING_ filter=lfs diff=lfs merge=lfs -text | |