Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

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

Bohan22's picture

Upload folder using huggingface_hub

e7c7750 verified 5 months ago

history blame contribute delete

4.92 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:: ef80cce6b59ee8be7504ab5bf2cf1b40da0dd37d1cdf322874c09a4d071478bc
Pointer size:: 135 Bytes
Size of remote file:: 4.92 GB
Xet hash:: dfd5e4e647fbd6883e1dc975fca8f2308cce8291978e9456a9ce1f04a32ab3d6

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