Basic information
Model repository: OpenBuddy/openbuddy-deepseekprover-7b-v26-preview
Organization: OpenBuddy
Tasks: text-generation
Architecture and runtime
Model type: llama
Architecture: LlamaForCausalLM
Libraries: safetensors, pytorch
Base models: deepseek-ai/DeepSeek-Prover-V2-7B
Current revision: master
License and update history
License: deepseek-prover-v2
Created: 2025-09-17
Last updated: 2026-10-26
Hardware requirements
Not filled in locally.
Download links
Not filled in locally.
Basic usage example
Not filled in locally.