Goedel-LM
/

Goedel-Formalizer-32B-SonnetAnnotated

Model card Files Files and versions

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

linyongver's picture

Initial model upload

83268a5 verified about 1 year ago

History Blame Contribute Delete

2.12 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:: 8919186c8cb4b31ba4203e66ca80510c3955e986545b148f88e4714e81b32d77
Size of remote file:: 2.12 GB
SHA256:: 2f7526ff83ebeb80a8700f26955614e0a755e8b49d32929660fe075b6f210f8c

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