Hugging Face's logo

hanwenzhu
/
wip-lean-embeddings

Model card Files
xet
Community
hanwenzhu commited on
Commit
e00a468
·
verified ·
1 Parent(s): 830c99d

Upload embeddings_mathlib_415.npy with huggingface_hub

Browse files
Files changed (1) hide show
  1. embeddings_mathlib_415.npy +3 -0
embeddings_mathlib_415.npy ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:c1cfa303a251e549b1708854a326778a4f1dade94b6494186cf19b4c2e0e8255
3
+ size 803847296