Hugging Face's logo

hanwenzhu
/
wip-lean-embeddings

Model card Files
xet
 Community
hanwenzhu commited on
Commit
7ecffaa
·
verified ·
1 Parent(s): f27e1b0

Upload embeddings_mathlib_416.npy with huggingface_hub

Browse files
Files changed (1) hide show
  1. embeddings_mathlib_416.npy +1 -1
embeddings_mathlib_416.npy CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:552da045302254849222369c8c95ab9142b239eede1adf831438b8df3036ed1c
3
  size 815149184
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:0013e68a1725a2a6fd80a4ef1f2a7245f69f1247874f5d53ce3e85fa656ddb02
3
  size 815149184