ProofGPT V0.1 is an open-source language model by hoskinson-center. Features: LLM, VRAM: 2.9GB, Context: 2K, License: mit, LLM Explorer Score: 0.09, Arc: 22.9, HellaSwag: 28.7, MMLU: 26, GSM8K: 0.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:
Release Notes
Version: Notes: Replaced the weights with model trained on proof-pile v1.1.
Version: Notes: Updated the tokenizer to have bos, eos, and unk tokens.
Rank the ProofGPT V0.1 capabilities
Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.
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
Best Alternatives to ProofGPT V0.1
Note: green Score (e.g. "73.2 ") means that the model is better than hoskinson-center/proofGPT-v0.1 .
Expand