purewhite42
/

rautoformalizer_gtra_internlm

Text Generation

feature-extraction

statement-autoformalization

formal-mathematics

Model card Files Files and versions

rautoformalizer_gtra_internlm / pytorch_model-00005-of-00008.bin

purewhite42's picture

Add files using upload-large-folder tool

4fd62cf verified about 1 year ago

history blame contribute delete

1.98 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:: 91a4b1deba8cedc6b620a5b1336265dede0940c8c6f65909cf4a2bd1edbfdb49
Pointer size:: 135 Bytes
Size of remote file:: 1.98 GB
Xet hash:: 2dfcc079f17f88bb2bdb3721cd0a2f8527f4ce6a91d9fcb4988e1b347707da8e

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