LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

Ntp Mathlib Context Deepseek Coder 1.3B by l3lab

 »  All LLMs  »  l3lab  »  Ntp Mathlib Context Deepseek Coder 1.3B   URL Share it on

  50   
  Arxiv:2408.03350   Autotrain compatible   Codegen   Endpoints compatible   Llama   Pytorch   Region:us
Model Card on HF 🤗: https://huggingface.co/l3lab/ntp-mathlib-context-deepseek-coder-1.3b 

Ntp Mathlib Context Deepseek Coder 1.3B Benchmarks

LLME Score: 0.17902
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Ntp Mathlib Context Deepseek Coder 1.3B (l3lab/ntp-mathlib-context-deepseek-coder-1.3b)

Ntp Mathlib Context Deepseek Coder 1.3B Parameters and Internals

Model Type 
tactic prediction
Training Details 
Data Sources:
ntp-mathlib-instruct-context
Methodology:
Finetuned for Lean 4 tactic prediction using proof states and file contexts.
Input Output 
Input Format:
Expected input: Lean 4 proof state and context in specified format.
Accepted Modalities:
text
Output Format:
Textual output with predicted tactic.
LLM NameNtp Mathlib Context Deepseek Coder 1.3B
Repository 🤗https://huggingface.co/l3lab/ntp-mathlib-context-deepseek-coder-1.3b 
Model Size1.3b
Required VRAM2.7 GB
Updated2025-02-05
Maintainerl3lab
Model Typellama
Model Files  2.7 GB
Generates CodeYes
Model ArchitectureLlamaForCausalLM
Licensemit
Context Length16384
Model Max Length16384
Transformers Version4.38.2
Tokenizer ClassLlamaTokenizer
Padding Token<pad>
Vocabulary Size32256
Torch Data Typebfloat16

Best Alternatives to Ntp Mathlib Context Deepseek Coder 1.3B

Best Alternatives
Context / RAM
Downloads
Likes
Deepseek Coder 1.3B Instruct16K / 2.7 GB34556107
...c Deepseek Coder 1.3B Instruct16K / 5.4 GB1320
CursorCore DS 1.3B LC16K / 2.7 GB1200
CursorCore DS 1.3B SR16K / 2.7 GB1200
CursorCore DS 1.3B16K / 2.7 GB1180
Llm4decompile 1.3B V216K / 2.7 GB4386
Speechless Coder Ds 1.3B16K / 2.7 GB12430
Deepseek Coder 1.3B Base16K / 2.7 GB5242577
Hpc Coder V2.1.3B16K / 2.7 GB984
...1.3B Chat And Function Calling16K / 2.7 GB2380
Note: green Score (e.g. "73.2") means that the model is better than l3lab/ntp-mathlib-context-deepseek-coder-1.3b.

Rank the Ntp Mathlib Context Deepseek Coder 1.3B 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? 42577 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241227
  Support LLM Explorer