kaiyuy on Hugging Face: model downloads

kaiyuy has 13 tracked models, downloaded 9,542 times in the last 30 days and 256,802 times in total. kaiyuy Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. kaiyuy/leandojo-lean4-retriever-byt5-small 7.4K downloads, model
2. kaiyuy/leandojo-lean4-tacgen-byt5-small 1.6K downloads, model
3. kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small 347 downloads, model
4. kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small 36 downloads, model
5. kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small 35 downloads, model
6. kaiyuy/ct2-leandojo-lean4-retriever-byt5-small 23 downloads, model
7. kaiyuy/leandojo-lean3-tacgen-byt5-small 17 downloads, model
8. kaiyuy/leandojo-lean3-retriever-byt5-small 17 downloads, model
9. kaiyuy/ct2-byt5-small 12 downloads, model
10. kaiyuy/ct2-byt5-german-grammar 6 downloads, model
11. kaiyuy/ASTactic 0 downloads, model
12. kaiyuy/NLProofS 0 downloads, model
13. kaiyuy/attach-juxtapose-parser-ptb-bert 0 downloads, model