rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

lean_byt5 / pytorch_model.bin

rahul3613's picture

Upload folder using huggingface_hub

7a30589 verified 10 months ago

History Blame Contribute Delete

1.2 GB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: baabdb4e7f5d292e34499305c35d06c557c5e12f13d483b423ceb219c676af96
Size of remote file:: 1.2 GB
SHA256:: f2db3134a7569398d18dd866453381a5098b84bd08874aaf0ed3a0f8d24ad4ca

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.