NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / model-00004-of-00004.safetensors

EdmundLai's picture

Upload folder using huggingface_hub

aa8e7b1 verified 11 months ago

history blame contribute delete

1.09 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:: 7310865f5f1de0004bb2c557975e502efdc9433107c224b9aa73e6d16a4338ca
Size of remote file:: 1.09 GB
SHA256:: 3956ef8c3b766b7aa861fb3d09429d9fa9c099e5d803583f20aad2c18f1eea75

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