formalmathatepfl
/

deepseek-prover-v2-feedback-grpo-800

Model card Files Files and versions

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

Lemmy00's picture

Upload model from hf

dadc441 verified 3 months ago

History Blame Contribute Delete

3.85 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:: c132c1cfb32671e7e0a11951bfd5ac963c92b2940c1e7dce66b38f60d5dcbc39
Size of remote file:: 3.85 GB
SHA256:: e3802b8427ce1613b6710097b9511bcf84fc1e786b399f906bb1a2136168557a

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