Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

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

Bohan22's picture

Upload folder using huggingface_hub

e7c7750 verified 5 months ago

history blame contribute delete

4.9 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:: 72c82e0977a9627569f2e562ed86eaa2bade1a00b8cd09bbc3522954c2318950
Pointer size:: 135 Bytes
Size of remote file:: 4.9 GB
Xet hash:: e3f2f23dd45c5c1620642ee79521aa27ac999f4e41a18b17d4c3a2829bd9f8ea

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