Hugging Face model: hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer
Author: hanwenzhu
Created: 2025-03-17 00:33:22
Last modified: 2025-11-18 19:19:02
Library: transformers
Likes: 0 | Downloads: 5
Tags: transformers, safetensors, t5, arxiv:1910.09700, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers