purewhite42
/

rautoformalizer_ra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Model card Files Files and versions

rautoformalizer_ra_deepseek / pytorch_model-00007-of-00008.bin

purewhite42's picture

Add files using upload-large-folder tool

dba9d5d verified 9 months ago

history blame contribute delete

1.18 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:: 31d7bd56c4973503d25d49b8d5bd826942609baea607f8667f531b339cd9c753
Pointer size:: 135 Bytes
Size of remote file:: 1.18 GB
Xet hash:: a16c64e9068fbf9cd9cf45c52b11b7d2f670c1bacb9d9d551d42b26c08e4af78

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