formal_proof_generator_v2_iter3 / model-00001-of-00007.safetensors

Add model and config files

41f17fd about 1 year ago

4.89 GB

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

( Raw pointer file )

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