Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B / model-00004-of-00004.safetensors

Bohan22's picture

Upload folder using huggingface_hub

e7c7750 verified 4 months ago

history blame contribute delete

1.58 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:: b13cdd833655cd9a968ac1bd053eb36f8f963e9ae6372bcaab9b3d49a7b3f5ae
Pointer size:: 135 Bytes
Size of remote file:: 1.58 GB
Xet hash:: bb97eabd5bcd464ece4b97909038d99f83db481732ec3523210e6e3a26437197

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