LLM EXPLORER 57,252 MODELS INDEXED

BFS Prover V1 7B by bytedance-research

By bytedance-research · 80 downloads
HF Repo ↗ Copy URL

BFS Prover V1 7B is an open-source language model by bytedance-research. Features: 7b LLM, VRAM: 15.2GB, Context: 4K, License: apache-2.0, LLM Explorer Score: 0.17.

  Arxiv:2502.03438 Base model:finetune:qwen/qwen2... Base model:qwen/qwen2.5-math-7...   Conversational   Dataset:ai-mo/numinamath-cot   Dataset:internlm/lean-github   Dataset:internlm/lean-workbook   En   Endpoints compatible   Formal-mathematics   Lean4   Qwen2   Region:us   Safetensors   Sharded   Tensorflow   Theorem-proving
Model Card on HF 🤗: https://huggingface.co/ByteDance-Seed/BFS-Prover-V1-7B 

BFS Prover V1 7B Parameters and Internals

LLM NameBFS Prover V1 7B
Repository 🤗https://huggingface.co/ByteDance-Seed/BFS-Prover-V1-7B 
Base Model(s)  Qwen/Qwen2.5-Math-7B   Qwen/Qwen2.5-Math-7B
Model Size7b
Required VRAM15.2 GB
Updated2026-07-30
Maintainerbytedance-research
Model Typeqwen2
Model Files  4.9 GB: 1-of-4   4.9 GB: 2-of-4   4.3 GB: 3-of-4   1.1 GB: 4-of-4
Supported Languagesen
Model ArchitectureQwen2ForCausalLM
Licenseapache-2.0
Context Length4096
Model Max Length4096
Transformers Version4.46.0
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size152064
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to BFS Prover V1 7B

Best Alternatives
Context / RAM
Downloads
Likes
Qwen2.5 7B Preview986K / 15.2 GB100
Qwen2.5 7B Instruct 1M986K / 15.4 GB52534373
Hush Qwen2.5 7B V1.2986K / 15.2 GB41
Hush Qwen2.5 7B V1.1986K / 15.2 GB51
Hush Qwen2.5 7B V1.4986K / 15.2 GB81
Hush Qwen2.5 7B Preview986K / 15.2 GB50
Hush Qwen2.5 7B V1.3986K / 15.2 GB102
Hush Qwen2.5 7B RP V1.4 1M986K / 15.2 GB102
Qwen 2.5 7B Exp Sce986K / 15.2 GB102
Qwen2.5 7B MixStock V0.1986K / 15.2 GB63
Note: green Score (e.g. "73.2") means that the model is better than ByteDance-Seed/BFS-Prover-V1-7B.