Goedel-LM
/

Goedel-Formalizer-32B-SonnetAnnotated

Model card Files Files and versions

Goedel-Formalizer-32B-SonnetAnnotated / training_args.bin

linyongver's picture

Initial model upload

83268a5 verified 7 months ago

history blame contribute delete

6.84 kB

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:: 9240aea2cd958616959034c3fe301613288324a5867d4fa79157417b7241a24f
Pointer size:: 129 Bytes
Size of remote file:: 6.84 kB
Xet hash:: bbc5a1013581454f200a7940793f416786fde7efea749055a200582afdcf573c

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