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
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
What is the LLM Explorer Rank (Score)
Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 Parameters and Internals
| LLM Name | Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 |
| Repository 🤗 | https://huggingface.co/fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830 |
| Required VRAM | 14.9 GB |
| Updated | 2025-08-22 |
| Maintainer | fumiyau |
| Model Type | gpt_neox |
| Model Files | |
| Model Architecture | GPTNeoXForCausalLM |
| Context Length | 4096 |
| Model Max Length | 4096 |
| Transformers Version | 4.30.2 |
| Tokenizer Class | GPTNeoXTokenizer |
| Vocabulary Size | 50688 |
| Torch Data Type | float32 |
Best Alternatives to Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| Catlm | 8K / 7.8 GB | 8 | 4 |
| Neox Musenet Untrained | 4K / 7.3 GB | 13 | 0 |
| Stabillm Instruct De | 4K / 31.8 GB | 13 | 0 |
| Open Calm Large | 2K / 1.8 GB | 2924 | 11 |
| MonoCoder OMP | 2K / 3.6 GB | 24 | 0 |
| KULLM RLHF | 2K / 25.8 GB | 975 | 3 |
| Open Calm Small | 2K / 0.4 GB | 7433 | 19 |
| ProofGPT V0.1 | 2K / 2.9 GB | 1984 | 3 |
| Eleuther Pythia410m Hh Sft | 2K / 1.6 GB | 974 | 0 |
| Step3 Mk7 | 2K / 25.8 GB | 15 | 0 |
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! 🌟
What open-source LLMs or SLMs are you in search of? 50835 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124