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

ProofGPT V0.1 by hoskinson-center

 »  All LLMs  »  hoskinson-center  »  ProofGPT V0.1   URL Share it on

  1974   
  Autotrain compatible Dataset:hoskinson-center/proof...   En   Endpoints compatible   Gpt neox   Pytorch   Region:us
Model Card on HF 🤗: https://huggingface.co/hoskinson-center/proofGPT-v0.1 

ProofGPT V0.1 Benchmarks

ARC: 22.87 vs 96.7 (so35)-76.3%
HellaSwag: 28.66 vs 95.3 (gpt4)-69.9%
MMLU: 25.96 vs 88.3 (so35)-70.6%
TruthfulQA: 51.64 vs 59 (gpt4)-12.5%
WinoGrande: 50.43 vs 87.5 (gpt4)-42.4%
GSM8K: 0.08 vs 96.4 (so35)-99.9%
LLME Score: 0.1276
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
ProofGPT V0.1 (hoskinson-center/proofGPT-v0.1)

ProofGPT V0.1 Parameters and Internals

Model Type 
text generation, causal-lm
Additional Notes 
Initialized training with pythia-1.3b weights. Previous commits were trained on proof-pile v1.0.
Training Details 
Data Sources:
hoskinson-center/proof-pile
Model Architecture:
GPT-NeoX
Release Notes 
Version:
3bcdc4e
Notes:
Replaced the weights with model trained on proof-pile v1.1.
Version:
9695b51
Notes:
Updated the tokenizer to have bos, eos, and unk tokens.
LLM NameProofGPT V0.1
Repository 🤗https://huggingface.co/hoskinson-center/proofGPT-v0.1 
Required VRAM2.9 GB
Updated2025-02-22
Maintainerhoskinson-center
Model Typegpt_neox
Model Files  2.9 GB
Supported Languagesen
Model ArchitectureGPTNeoXForCausalLM
Licensemit
Context Length2048
Model Max Length2048
Transformers Version4.24.0
Tokenizer ClassGPTNeoXTokenizer
Padding Token<|endoftext|>
Vocabulary Size50304
Torch Data Typefloat16

Best Alternatives to ProofGPT V0.1

Best Alternatives
Context / RAM
Downloads
Likes
Catlm8K / 7.8 GB454
...Prover 14final Checkpoint 58304K / 14.9 GB50
Neox Musenet Untrained4K / 7.3 GB60
Stabillm Instruct De4K / 31.8 GB50
Open Calm Large2K / 1.8 GB349510
MonoCoder OMP2K / 3.6 GB2020
KULLM RLHF2K / 25.8 GB20263
GPT NeoX Pretrain News2K / 0.3 GB3060
Step3 Mk72K / 25.8 GB180
GPT NeoX Pretrain 1GB2K / 0.3 GB1620
Note: green Score (e.g. "73.2") means that the model is better than hoskinson-center/proofGPT-v0.1.

Rank the ProofGPT V0.1 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? 43470 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