Hugging Face's logo

rookiemango
/
auto-info

Model card Files Community
rookiemango commited on
Commit
d559180
·
verified ·
1 Parent(s): 33ab1c8

Upload folder using huggingface_hub

Browse files
Files changed (18) hide show
  1. .gitattributes +14 -0
  2. data/all_theorem_solver.jsonl +3 -0
  3. data/lean4_basic/1k_test.jsonl +3 -0
  4. data/lean4_basic/1k_test_raw.jsonl +3 -0
  5. data/lean4_gpt_5k/test/data.jsonl +3 -0
  6. data/lean4_gpt_5k/train/data.jsonl +3 -0
  7. data/lean4_random/1k_test.json +3 -0
  8. data/lean4_random/5k_first.json +3 -0
  9. data/lean4_random/5k_second.json +3 -0
  10. data/lean4_random/5k_second_filtered.json +3 -0
  11. data/lean4_random/5k_third.json +3 -0
  12. data/lean4_random_15k_gsm8k-math_passed.json +0 -0
  13. data/lean4_statement_translate/15k_state_problem_translation.json +3 -0
  14. data/lean4_statement_translate/15k_state_problem_translation_statement_form.json +3 -0
  15. data/lean4_statement_translate/15k_state_problem_translation_statementproof_inform.json +3 -0
  16. data/test/.gitattributes +36 -0
  17. data/test/gsm8k/train.jsonl +0 -0
  18. data/test/math/train.jsonl +3 -0
.gitattributes CHANGED
@@ -33,3 +33,17 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ data/all_theorem_solver.jsonl filter=lfs diff=lfs merge=lfs -text
37
+ data/lean4_basic/1k_test.jsonl filter=lfs diff=lfs merge=lfs -text
38
+ data/lean4_basic/1k_test_raw.jsonl filter=lfs diff=lfs merge=lfs -text
39
+ data/lean4_gpt_5k/test/data.jsonl filter=lfs diff=lfs merge=lfs -text
40
+ data/lean4_gpt_5k/train/data.jsonl filter=lfs diff=lfs merge=lfs -text
41
+ data/lean4_random/1k_test.json filter=lfs diff=lfs merge=lfs -text
42
+ data/lean4_random/5k_first.json filter=lfs diff=lfs merge=lfs -text
43
+ data/lean4_random/5k_second.json filter=lfs diff=lfs merge=lfs -text
44
+ data/lean4_random/5k_second_filtered.json filter=lfs diff=lfs merge=lfs -text
45
+ data/lean4_random/5k_third.json filter=lfs diff=lfs merge=lfs -text
46
+ data/lean4_statement_translate/15k_state_problem_translation.json filter=lfs diff=lfs merge=lfs -text
47
+ data/lean4_statement_translate/15k_state_problem_translation_statement_form.json filter=lfs diff=lfs merge=lfs -text
48
+ data/lean4_statement_translate/15k_state_problem_translation_statementproof_inform.json filter=lfs diff=lfs merge=lfs -text
49
+ data/test/math/train.jsonl filter=lfs diff=lfs merge=lfs -text
data/all_theorem_solver.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:c2d3f58a81aa42d4219f587566a707232d43de4b7e143abe00f7466d5659ac4c
3
+ size 2318283931
data/lean4_basic/1k_test.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:8f93b8534dc9719ca68a50a6a75ce3bd9299a0ea7acfe506b0e54dd7bf0200cf
3
+ size 16276619
data/lean4_basic/1k_test_raw.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:276ce1d114237f10f74861e84335c064faa1834d9a7aa51f43f0860e11271beb
3
+ size 13382358
data/lean4_gpt_5k/test/data.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:10b163f80185a39e18bf4b54ff5a1d192687756a73fcb98ac1a82d86ea5b2d56
3
+ size 26389753
data/lean4_gpt_5k/train/data.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:455161e17487e1ae67eb093648f7d8feeb08ecc2cbfecd098d8be023aa8fddd8
3
+ size 106710459
data/lean4_random/1k_test.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:c223170c7f1ce80c22cda58c1126393b9c0900529473b9fd7119bff9d2617cdf
3
+ size 23755194
data/lean4_random/5k_first.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:12b20fc358c440768233695acaf7406687959a8c3df575a1a063b5140cc2456d
3
+ size 121941031
data/lean4_random/5k_second.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:38b6c860845f39326cf5c1937ee14896f507262dea69dc882bd50cb016c88dd4
3
+ size 124147169
data/lean4_random/5k_second_filtered.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:38b6c860845f39326cf5c1937ee14896f507262dea69dc882bd50cb016c88dd4
3
+ size 124147169
data/lean4_random/5k_third.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:77b4efbeae5810aa1e97c9960a6c44987c2ab84f8f63f17fbaf70d5427a09d05
3
+ size 123953618
data/lean4_random_15k_gsm8k-math_passed.json ADDED
The diff for this file is too large to render. See raw diff
 
data/lean4_statement_translate/15k_state_problem_translation.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:b9eae636c806d8d39a6bb05fca5883fe08cf5aa0dd2820d21a0e1b2052bdaecb
3
+ size 371838440
data/lean4_statement_translate/15k_state_problem_translation_statement_form.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:823e5613aa520a600e57efdc6f393c4996f5c9d37656ddce2a78c5c88cfd1dd1
3
+ size 372280820
data/lean4_statement_translate/15k_state_problem_translation_statementproof_inform.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:97100192ed812ea6a4db7d66d9fbde089973970383e5559e3862373f2cd234da
3
+ size 372384042
data/test/.gitattributes ADDED
@@ -0,0 +1,36 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ *.7z filter=lfs diff=lfs merge=lfs -text
2
+ *.arrow filter=lfs diff=lfs merge=lfs -text
3
+ *.bin filter=lfs diff=lfs merge=lfs -text
4
+ *.bz2 filter=lfs diff=lfs merge=lfs -text
5
+ *.ckpt filter=lfs diff=lfs merge=lfs -text
6
+ *.ftz filter=lfs diff=lfs merge=lfs -text
7
+ *.gz filter=lfs diff=lfs merge=lfs -text
8
+ *.h5 filter=lfs diff=lfs merge=lfs -text
9
+ *.joblib filter=lfs diff=lfs merge=lfs -text
10
+ *.lfs.* filter=lfs diff=lfs merge=lfs -text
11
+ *.mlmodel filter=lfs diff=lfs merge=lfs -text
12
+ *.model filter=lfs diff=lfs merge=lfs -text
13
+ *.msgpack filter=lfs diff=lfs merge=lfs -text
14
+ *.npy filter=lfs diff=lfs merge=lfs -text
15
+ *.npz filter=lfs diff=lfs merge=lfs -text
16
+ *.onnx filter=lfs diff=lfs merge=lfs -text
17
+ *.ot filter=lfs diff=lfs merge=lfs -text
18
+ *.parquet filter=lfs diff=lfs merge=lfs -text
19
+ *.pb filter=lfs diff=lfs merge=lfs -text
20
+ *.pickle filter=lfs diff=lfs merge=lfs -text
21
+ *.pkl filter=lfs diff=lfs merge=lfs -text
22
+ *.pt filter=lfs diff=lfs merge=lfs -text
23
+ *.pth filter=lfs diff=lfs merge=lfs -text
24
+ *.rar filter=lfs diff=lfs merge=lfs -text
25
+ *.safetensors filter=lfs diff=lfs merge=lfs -text
26
+ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
27
+ *.tar.* filter=lfs diff=lfs merge=lfs -text
28
+ *.tar filter=lfs diff=lfs merge=lfs -text
29
+ *.tflite filter=lfs diff=lfs merge=lfs -text
30
+ *.tgz filter=lfs diff=lfs merge=lfs -text
31
+ *.wasm filter=lfs diff=lfs merge=lfs -text
32
+ *.xz filter=lfs diff=lfs merge=lfs -text
33
+ *.zip filter=lfs diff=lfs merge=lfs -text
34
+ *.zst filter=lfs diff=lfs merge=lfs -text
35
+ *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ math/train.jsonl filter=lfs diff=lfs merge=lfs -text
data/test/gsm8k/train.jsonl ADDED
The diff for this file is too large to render. See raw diff
 
data/test/math/train.jsonl ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:10781997adba1191317715b11f90e092a5184757324231963d6ea058e936bbf7
3
+ size 13075440