Goedel-Prover-SFT / training_args.bin

Initial model upload

5e1e7cd verified about 2 months ago

6.9 kB

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

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.

Goedel-LM
/

Goedel-Prover-SFT

SHA256: c9fc5e9d742e9bb2088f958a563f61cf74c3ee0d64718ccc2487dd6b85c9f714
Pointer size: 129 Bytes
Size of remote file: 6.9 kB