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 4 days 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.

Large File Pointer Details

( Raw pointer file )

SHA256:: f2db3134a7569398d18dd866453381a5098b84bd08874aaf0ed3a0f8d24ad4ca
Pointer size:: 135 Bytes
Size of remote file:: 1.2 GB
Xet hash:: baabdb4e7f5d292e34499305c35d06c557c5e12f13d483b423ceb219c676af96

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