Hugging Face model: formalmathatepfl/deepseek-prover-v2-feedback-grpo-800
Author: formalmathatepfl
Created: 2026-05-25 12:06:11
Last modified: 2026-05-25 12:06:43
Likes: 0 | Downloads: 5
Tags: safetensors, llama, region:us
Card metadata: