Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT / training_args.bin

linyongver's picture

Initial model upload

5e1e7cd verified almost 2 years ago

History Blame Contribute Delete

6.9 kB

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:: c5f1191a8b824229ed9b510b752be560366d7cf600df8645fe462ccbfbfb5cd2
Size of remote file:: 6.9 kB
SHA256:: c9fc5e9d742e9bb2088f958a563f61cf74c3ee0d64718ccc2487dd6b85c9f714

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