Goedel-LM
/

Goedel-Formalizer-32B-SonnetAnnotated

Model card Files Files and versions

Goedel-Formalizer-32B-SonnetAnnotated / model-00007-of-00014.safetensors

linyongver's picture

Initial model upload

83268a5 verified about 1 year ago

History Blame Contribute Delete

4.88 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:: 55eb751439ca4a3a1272b606f6afa94a2ae48f51fe83dab5a8d8b27ec15d23ec
Size of remote file:: 4.88 GB
SHA256:: 7247d2cf4a882fb142d8da6a86d5b21f55e34c9c152e3b0ab87f808c8c0f938e

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