Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
Browse files
.gitattributes
CHANGED
|
@@ -34,3 +34,4 @@ saved_model/**/* 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 |
faiss/mathlib420_final_hnsw.idx 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 |
faiss/mathlib420_final_hnsw.idx filter=lfs diff=lfs merge=lfs -text
|
| 37 |
+
faiss/mathlib420_final_public_index.jsonl filter=lfs diff=lfs merge=lfs -text
|
faiss/mathlib420_final_public_index.jsonl
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:a6b77abac9d6357621a119aebf7c6d41f5bb37512d8f58a876d92c9cc0f7aab7
|
| 3 |
+
size 121131292
|