*.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
autoform_data/autoform_forml4_train.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/1/10/0.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/1/10/1.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/1/10/2.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/2/10/0.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/2/10/1.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/2/10/2.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/3/10/0.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/3/10/1.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/deepseekmath-qa-gsm8kmath-autoform-forml4/3/10/2.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/lean4_random_15k_all/2/10/0.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/lean4_random_15k_all/2/10/1.json filter=lfs diff=lfs merge=lfs -text
generate_result/zero_shot/math_train/generation/lean4_random_15k_all/2/10/2.json filter=lfs diff=lfs merge=lfs -text
wandb/run-20240621_111859-run_20240621_31f46a8f/run-run_20240621_31f46a8f.wandb filter=lfs diff=lfs merge=lfs -text