formal_proof_generator_v3_iter3 / model-00004-of-00007.safetensors

Add model and config files

39fa914 about 1 year ago

5 GB

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

( Raw pointer file )

SHA256:: e886b723c202960942833385cee7106dfffbd20072de34229695de1c738a2a25
Pointer size:: 135 Bytes
Size of remote file:: 5 GB
Xet backed hash:: cd885aaeb23cc1be10eca249cb7259d17f1de9c927338af84ed4f55b2d754998

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