Upload 5 files

ee40f78 over 1 year ago

1.2 GB

This file is stored with Git LFS . It is too big to display, but you can still download it.

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.

kaiyuy
/

leandojo-lean3-retriever-tacgen-byt5-small

SHA256: 470276e36a9cec7b174930950afde4d2d1ba1f5a45e3340c674a53d55e2106bb
Pointer size: 135 Bytes
Size of remote file: 1.2 GB