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

Initial model upload

83268a5 verified 7 months ago

4.88 GB

This file is stored with Xet . It is too big to display, but you can still download it.

( Raw pointer file )

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