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

Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 by fumiyau

 »  All LLMs  »  fumiyau  »  Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830   URL Share it on

  24   
  Autotrain compatible   Endpoints compatible   Gpt neox   Pytorch   Region:us   Sharded
Model Card on HF 🤗: https://huggingface.co/fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830 

Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 Benchmarks

LLME Score: 0.10279
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
🌟 Advertise your project 🚀

Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 Parameters and Internals

LLM NameLeanprover 20230704 01 Clm Prover 14final Checkpoint 5830
Repository 🤗https://huggingface.co/fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830 
Required VRAM14.9 GB
Updated2025-06-09
Maintainerfumiyau
Model Typegpt_neox
Model Files  10.2 GB: 1-of-2   4.7 GB: 2-of-2
Model ArchitectureGPTNeoXForCausalLM
Context Length4096
Model Max Length4096
Transformers Version4.30.2
Tokenizer ClassGPTNeoXTokenizer
Vocabulary Size50688
Torch Data Typefloat32
Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 (fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830)

Best Alternatives to Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830

Best Alternatives
Context / RAM
Downloads
Likes
Catlm8K / 7.8 GB244
Neox Musenet Untrained4K / 7.3 GB140
Stabillm Instruct De4K / 31.8 GB140
Open Calm Large2K / 1.8 GB165711
MonoCoder OMP2K / 3.6 GB4660
KULLM RLHF2K / 25.8 GB15713
Open Calm Small2K / 0.4 GB329819
Step3 Mk72K / 25.8 GB250
Ppo Model2K / 2.7 GB490
Llm Rlhf2K / 25.8 GB190
Note: green Score (e.g. "73.2") means that the model is better than fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830.

Rank the Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 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? 48046 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