saccha-ai
/

Sequent-Prover-9B-Preview

Model card Files Files and versions

Sequent-Prover-9B-Preview / training_args.bin

ben072292's picture

Add files using upload-large-folder tool

ddeea94 verified about 1 month ago

History Blame Contribute Delete

7.1 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:: cb67e510b0ee455c57928d32dc14291a03bd6309ad9ce6eec1de8350c1251387
Size of remote file:: 7.1 kB
SHA256:: 7c464d691d0f12bdc8c5eaa725aa05f4d61f78998f927b9e6ff4176f6429931c

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