NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / model-00003-of-00004.safetensors

EdmundLai's picture

Upload folder using huggingface_hub

aa8e7b1 verified 11 months ago

history blame contribute delete

4.33 GB

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:: ff878836c5de341e136dfcca988e937a72f69c6a5f4427e9a5368efb3bcae124
Size of remote file:: 4.33 GB
SHA256:: 7228adc75ac3ff7c1fc0f032f447735c93ee627c1a9b961e81f5830368042d89

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