arbius/DeepSeek-Prover-V1.5-RL-GGUF download history
arbius/DeepSeek-Prover-V1.5-RL-GGUF is a model model by arbius. In the last 30 days it was downloaded 64 times (8 in the last 7 days), and 4,104 times in total.
It ranks #230,098 on the Hub by monthly downloads.
It has 3 likes.
It is a quantization of deepseek-ai/DeepSeek-Prover-V1.5-RL.