{"id":"25f9958d-4d71-4620-9414-afb29629a9be","slug":"hf-model-rahul3613-lean-byt5-we0ej6-j","name":"lean_byt5","description":"Hugging Face model rahul3613/lean_byt5. 19 downloads.","capabilities":["pytorch","safetensors","t5","theorem-proving","lean","byt5","mathematics","code","en","arxiv:2312.14188","base_model:google/byt5-small","base_model:finetune:google/byt5-small","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:40:07.581Z"}