Hugging Face model: rahul3613/lean_byt5_aug
Author: rahul3613
Created: 2026-01-17 13:47:16
Last modified: 2026-01-17 14:06:24
Likes: 0 | Downloads: 6
Tags: 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