Leanprover 20230704 01 Clm Prover 14final Checkpoint 5830 is an open-source language model by fumiyau. Features: LLM, VRAM: 14.9GB, Context: 4K, LLM Explorer Score: 0.08.
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-12-04 |
| 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 | 183 | 4 |
| Neox Musenet Untrained | 4K / 7.3 GB | 5 | 0 |
| Stabillm Instruct De | 4K / 31.8 GB | 7 | 0 |
| Open Calm Large | 2K / 1.8 GB | 840 | 10 |
| MonoCoder OMP | 2K / 3.6 GB | 27 | 0 |
| ProofGPT V0.1 | 2K / 2.9 GB | 851 | 3 |
| Open Calm Small | 2K / 0.4 GB | 4580 | 20 |
| KULLM RLHF | 2K / 25.8 GB | 3 | 3 |
| Step3 Mk7 | 2K / 25.8 GB | 6 | 0 |
| Ppo Model | 2K / 2.7 GB | 6 | 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? 52721 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a