NJUDeepEngine
/

SEG-ATP

Text Generation

theorem-proving

automated-theorem-proving

mathematical-reasoning

Model card Files Files and versions

SEG-ATP / numina /wholeproof /tokenizer.json

SeanShawna's picture

Upload folder using huggingface_hub

e3ed051 verified 5 months ago

History Blame Contribute Delete

11.4 MB

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:: a7030cf2e58dead38199a68a8cd6f6f1a609a6072d7fb38ba5f85b3bb7e21557
Size of remote file:: 11.4 MB
SHA256:: 9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa

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