ProofSeeker V1 is an open-source language model by kings-crown. Features: 6.9b LLM, VRAM: 13.9GB, Context: 4K, License: mit, LLM Explorer Score: 0.17.
| LLM Name | ProofSeeker V1 |
| Repository 🤗 | https://huggingface.co/kings-crown/ProofSeeker_v1 |
| Model Size | 6.9b |
| Required VRAM | 13.9 GB |
| Updated | 2026-08-07 |
| Maintainer | kings-crown |
| Model Type | llama |
| Model Files | |
| Model Architecture | LlamaForCausalLM |
| License | mit |
| Context Length | 4096 |
| Model Max Length | 4096 |
| Transformers Version | 4.49.0 |
| Tokenizer Class | LlamaTokenizerFast |
| Padding Token | <|PAD_TOKEN|> |
| Vocabulary Size | 102400 |
| Torch Data Type | bfloat16 |
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| Bolna Lead Qualification | 16K / 13.8 GB | 6 | 3 |
| Sambanova Llama2 100 | 4K / 13.9 GB | 5 | 0 |
| Mymath Merged 01 | 4K / 13.9 GB | 6 | 0 |
| Gorilla Finetuned | 4K / 13.8 GB | 8 | 0 |
| STP Model Lean 0320 | 4K / 13.8 GB | 150 | 1 |
| Deep Neural V1 | 4K / 27.7 GB | 65 | 0 |
| ...j Pair8 Ds Coder Rmsprop Iter4 | 4K / 13.9 GB | 145 | 0 |
| ... Ds Coder Reflct Rmsprop Iter4 | 4K / 13.9 GB | 105 | 0 |
| ...8 Ds Chat Reflct Rmsprop Iter2 | 4K / 13.9 GB | 87 | 0 |
| ... Ds Coder Reflct Rmsprop Iter3 | 4K / 13.9 GB | 70 | 0 |