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

Dart Math Llama3 8B Prop2diff by hkust-nlp

 »  All LLMs  »  hkust-nlp  »  Dart Math Llama3 8B Prop2diff   URL Share it on

  16   

Dart Math Llama3 8B Prop2diff is an open-source language model by hkust-nlp. Features: 8b LLM, VRAM: 16.1GB, Context: 8K, License: llama3, LLM Explorer Score: 0.14.

  Arxiv:2403.02884   Arxiv:2403.04706   Arxiv:2407.13690 Base model:finetune:meta-llama... Base model:meta-llama/meta-lla... Dataset:hkust-nlp/dart-math-ha...   En   Endpoints compatible   Llama   Mathematics   Model-index   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/hkust-nlp/dart-math-llama3-8b-prop2diff 

Dart Math Llama3 8B Prop2diff Benchmarks

LLME Score: 0.13821
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Dart Math Llama3 8B Prop2diff (hkust-nlp/dart-math-llama3-8b-prop2diff)
🌟 Advertise your project 🚀

Dart Math Llama3 8B Prop2diff Parameters and Internals

Model Type 
text-generation
Use Cases 
Areas:
Research, Educational Tools
Applications:
Mathematical Problem-Solving, Educational Math Platforms
Primary Use Cases:
Solving complex mathematical problems, Enhancing educational content in mathematics
Limitations:
May not perform well in non-mathematical contexts
Considerations:
Primarily for use in mathematical and educational contexts
Supported Languages 
en (proficient)
Training Details 
Data Sources:
MATH, GSM8K
Methodology:
The model is trained using Difficulty-Aware Rejection Sampling (DARS) on the MATH and GSM8K training sets, focusing on tackling biases towards easy queries.
Context Length:
4096
Hardware Used:
8 A100 GPUs
Model Architecture:
Llama3-8B architecture with synthetic datasets
Input Output 
Input Format:
Alpaca prompt template
Accepted Modalities:
text
Output Format:
Generated text responses
LLM NameDart Math Llama3 8B Prop2diff
Repository 🤗https://huggingface.co/hkust-nlp/dart-math-llama3-8b-prop2diff 
Base Model(s)  Meta Llama 3 8B   meta-llama/Meta-Llama-3-8B
Model Size8b
Required VRAM16.1 GB
Updated2026-03-29
Maintainerhkust-nlp
Model Typellama
Model Files  5.0 GB: 1-of-4   5.0 GB: 2-of-4   4.9 GB: 3-of-4   1.2 GB: 4-of-4
Supported Languagesen
Model ArchitectureLlamaForCausalLM
Licensellama3
Context Length8192
Model Max Length8192
Transformers Version4.41.1
Tokenizer ClassPreTrainedTokenizerFast
Padding Token[PAD]
Vocabulary Size128320
Torch Data Typebfloat16

Best Alternatives to Dart Math Llama3 8B Prop2diff

Best Alternatives
Context / RAM
Downloads
Likes
...otron 8B UltraLong 4M Instruct4192K / 32.1 GB89119
...a 3.1 8B UltraLong 4M Instruct4192K / 32.1 GB17624
UltraLong Thinking4192K / 16.1 GB93
...a 3.1 8B UltraLong 2M Instruct2096K / 32.1 GB8759
...otron 8B UltraLong 2M Instruct2096K / 32.1 GB4017
Cthulhu 8B V1.41048K / 16.1 GB139
...otron 8B UltraLong 1M Instruct1048K / 32.1 GB344055
...a 3.1 8B UltraLong 1M Instruct1048K / 32.1 GB138729
...xis Bookwriter Llama3.1 8B Sft1048K / 16.1 GB124
Zero Llama 3.1 8B Beta61048K / 16.1 GB51
Note: green Score (e.g. "73.2") means that the model is better than hkust-nlp/dart-math-llama3-8b-prop2diff.

Rank the Dart Math Llama3 8B Prop2diff 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? 52721 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.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a
  Support LLM Explorer