1Kdl/month
Identifier
Model ID
formalmathatepfl/deepseek-prover-v2-grpo-800Tags
transformerssafetensorsllamatext-generationtheorem-provingleanmathgrporeinforcement-learningbase_model:formalmathatepfl/deepseek-prover-v2-cpt-sft-1ebase_model:finetune:formalmathatepfl/deepseek-prover-v2-cpt-sft-1etext-generation-inferenceendpoints_compatibleregion:us
Use deepseek-prover-v2-grpo-800 on Mixpeek
Build multimodal processing pipelines with this model and others. Extract features, run inference, and set up retrieval in Mixpeek Studio.
Open StudioHow It Runs on Mixpeek
On Mixpeek, deepseek-prover-v2-grpo-800 runs as a managed extractor inside a processing pipeline. Point a bucket of reinforcement learning data at it, and Mixpeek handles GPU provisioning, batching, retries, and writing the outputs into a vector store you can query.
Extractor outputs land in the Mixpeek Vector Store (MVS), where you can combine them with retrieval, reranking, and filter stages to build end-to-end search and agent-perception pipelines, no model-serving infrastructure to maintain.
Specification
Organizationformalmathatepfl
TaskReinforcement Learning
Librarytransformers
Downloads/mo1K
View on HuggingFace
See model card, files, and community discussion