formalmathatepfl
/

deepseek-prover-v2-feedback-grpo-800

Model card Files Files and versions

deepseek-prover-v2-feedback-grpo-800 / model-00001-of-00003.safetensors

Lemmy00's picture

Upload model from hf

dadc441 verified 3 months ago

History Blame Contribute Delete

4.99 GB

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:: fdd390e454abc43087d9cb026e3e1e9e958aa15d683757071694c26360ee19d7
Size of remote file:: 4.99 GB
SHA256:: 68e39691ab37b5e0ad821e837903d93efdc785c6d5920c94c90b83e1e99d8f47

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