Hugging Face model: rahul3613/lean_byt5
Author: rahul3613
Created: 2026-01-17 11:19:48
Last modified: 2026-01-18 09:11:25
Likes: 0 | Downloads: 8
Tags: 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, region:us
Base model relation: finetune
Base models: id: google/byt5-small
Card metadata:
license: apache-2.0
language: en
base_model: google/byt5-small
tags: theorem-proving, lean, byt5, mathematics, code