rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

lean_byt5_aug / lean_prover_aug.bin

Commit History

Upload folder using huggingface_hub

6989033
verified

rahul3613 commited on 3 days ago