purewhite42
/

rautoformalizer_gtra_deepseek

Text Generation

statement-autoformalization

formal-mathematics

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

rautoformalizer_gtra_deepseek / pytorch_model-00005-of-00008.bin

purewhite42's picture

Add files using upload-large-folder tool

baa977d verified 13 days ago

1.99 GB

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

Git LFS Details

SHA256: 3a61e83a7cdd09e12d43b2fcfa39c49a9ad3b4a86cb6fee1f0a7edfd02f7b73f
Pointer size: 135 Bytes
Size of remote file: 1.99 GB

Raw pointer file

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.