{"id":"f0bda883-c57c-4d35-9e12-0da0012afa08","slug":"hf-model-rickydeskywalker-gar-deepseek-prover-v2-1mfx9l9-13","name":"GAR_DeepSeek-Prover-V2","description":"Hugging Face model RickyDeSkywalker/GAR_DeepSeek-Prover-V2. Task: text generation. Library: transformers. 40 downloads.","capabilities":["transformers","safetensors","llama","text-generation","math","lean","theorem-proving","reinforcement-learning","conversational","arxiv:2510.11769","base_model:deepseek-ai/DeepSeek-Prover-V2-7B","base_model:finetune:deepseek-ai/DeepSeek-Prover-V2-7B","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:21.293Z"}