LLM EXPLORER 57,252 MODELS INDEXED

BFS Prover V2 7B by ByteDance-Seed

By ByteDance-Seed · 494 downloads
HF Repo ↗ Copy URL

BFS Prover V2 7B is an open-source language model by ByteDance-Seed. Features: 7b LLM, VRAM: 15.2GB, Context: 4K, License: apache-2.0, LLM Explorer Score: 0.22.

  Arxiv:2509.06493 Base model:finetune:qwen/qwen2... Base model:qwen/qwen2.5-math-7...   Conversational   Lean4   Qwen2   Region:us   Safetensors   Sharded   Step-prover   Tensorflow
Model Card on HF 🤗: https://huggingface.co/ByteDance-Seed/BFS-Prover-V2-7B 

BFS Prover V2 7B Parameters and Internals

LLM NameBFS Prover V2 7B
Repository 🤗https://huggingface.co/ByteDance-Seed/BFS-Prover-V2-7B 
Base Model(s)  Qwen/Qwen2.5-Math-7B   Qwen/Qwen2.5-Math-7B
Model Size7b
Required VRAM15.2 GB
Updated2026-07-30
MaintainerByteDance-Seed
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
Model ArchitectureQwen2ForCausalLM
Licenseapache-2.0
Context Length4096
Model Max Length4096
Transformers Version4.50.3
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size152064
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to BFS Prover V2 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-V2-7B.