DeepSeek Prover V1.5 Base by deepseek-ai

 »  All LLMs  »  deepseek-ai  »  DeepSeek Prover V1.5 Base   URL Share it on

  Arxiv:2408.08152   Llama   Region:us   Safetensors   Sharded   Tensorflow

DeepSeek Prover V1.5 Base Benchmarks

nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
DeepSeek Prover V1.5 Base (deepseek-ai/DeepSeek-Prover-V1.5-Base)

DeepSeek Prover V1.5 Base Parameters and Internals

LLM NameDeepSeek Prover V1.5 Base
Repository 🤗https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base 
Model Size6.9b
Required VRAM13.8 GB
Updated2025-03-12
Maintainerdeepseek-ai
Model Typellama
Model Files  8.6 GB: 1-of-2   5.2 GB: 2-of-2
Model ArchitectureLlamaForCausalLM
Licenseother
Context Length4096
Model Max Length4096
Transformers Version4.33.1
Tokenizer ClassLlamaTokenizerFast
Beginning of Sentence Token<|begin▁of▁sentence|>
End of Sentence Token<|end▁of▁sentence|>
Vocabulary Size102400
Torch Data Typebfloat16

Best Alternatives to DeepSeek Prover V1.5 Base

Best Alternatives
Context / RAM
Downloads
Likes
Bolna Lead Qualification16K / 13.8 GB133
...j Pair8 Ds Coder Rmsprop Iter44K / 13.9 GB1450
... Ds Coder Reflct Rmsprop Iter44K / 13.9 GB1050
...8 Ds Chat Reflct Rmsprop Iter24K / 13.9 GB870
...s Coder Pos Reflct Adamw Iter34K / 13.9 GB1890
Ds Chat Pos Reflct Adamw Iter34K / 13.9 GB1880
...4 Ds Chat Reflct Rmsprop Iter34K / 13.9 GB1100
...Coder Pos Reflct Rmsprop Iter34K / 13.9 GB940
... Ds Coder Reflct Rmsprop Iter24K / 13.9 GB930
... Ds Coder Reflct Rmsprop Iter34K / 13.9 GB700
Note: green Score (e.g. "73.2") means that the model is better than deepseek-ai/DeepSeek-Prover-V1.5-Base.

Rank the DeepSeek Prover V1.5 Base Capabilities

🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟

Instruction Following and Task Automation  
Factuality and Completeness of Knowledge  
Censorship and Alignment  
Data Analysis and Insight Generation  
Text Generation  
Text Summarization and Feature Extraction  
Code Generation  
Multi-Language Support and Translation  

What open-source LLMs or SLMs are you in search of? 44902 in total.

Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241227