BFS-Prover-counterexamples-base / adapter_model.safetensors
haielab's picture
Upload model
472f4a5 verified
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:
91ef1168b11f7305a78384af533319abb8c8c2c410b97050d3f286817f94be4a
Size of remote file:
162 MB
·
SHA256:
7ec9e35940ff6081eb9b029bc90691ce7e2be70ee96a2bfcee1c354b3a47c4e4

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