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

  1984   
  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.11576
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)
🌟 Advertise your project 🚀

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-08-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 GB84
...Prover 14final Checkpoint 58304K / 14.9 GB130
Neox Musenet Untrained4K / 7.3 GB130
Stabillm Instruct De4K / 31.8 GB130
Open Calm Large2K / 1.8 GB292411
MonoCoder OMP2K / 3.6 GB240
KULLM RLHF2K / 25.8 GB9753
Open Calm Small2K / 0.4 GB743319
Eleuther Pythia410m Hh Sft2K / 1.6 GB9740
Step3 Mk72K / 25.8 GB150
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? 50835 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 v20241124
  Support LLM Explorer