Updated 20 min ago · first seen 11 Sept 2026
model_01M294XRWHGD9ZYQ72CXDESKVM
- Parameters
- 7.62B
- T2 · 33 min ago
- Released
- 6 Oct 2025
- T2 · 20 min ago
- License
- apache-2.0
- T2 · 20 min ago
Specification
- Release date
- 6 Oct 2025
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Openness
- open-weights
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- License
- apache-2.0
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Architecture
- Qwen2ForCausalLM
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Parameters
- 7.62B
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- Base model
- Qwen/Qwen2.5-Math-7B
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- File size
- 15.2 GB
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Hugging Face repo
- ByteDance-Seed/BFS-Prover-V2-7B
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- Pipeline tag
- text-generation
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- Model card
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- Downloads
- 1,246
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Likes
- 7
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Gated
- No
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Hf inference providers
- featherless-ai
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Last modified
- 2025-10-09T22:22:39+00:00
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 33 min agomedium
- Downloads all time
- 6,280
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Model type
- qwen2
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Tags
- safetensors, qwen2, lean4, step-prover, text-generation
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
- Weights dtype
- BF16
Source:Hugging Face Hub (public pages, model cards, papers)T2observed 20 min agomedium
Each value shows its source, tier and observation time. Conflicting claims are kept side by side and flagged — never averaged. How AI Atlas records facts →
Provenance
Attributed facts
19
Source tiers
T219
Freshest observation
20 min ago
Conflicts
None
Modalities
Modalities unavailable.
Capabilities
Tool calling
Unavailable
Structured output
Unavailable
Reasoning
Unavailable
Vision
Unavailable
Audio
Unavailable
Fine-tuning available
Unavailable
No capability flags have been observed from a source yet — we do not infer them.
No structured attributes yet.
No benchmark results recorded
Current prices
No current prices recorded
Price history
Memory need = bytes per parameter (4-bit ≈ 0.5 × 1.15 overhead, 8-bit 1.0, fp16 2.0) + a KV-cache allowance. Not a measurement.
| Hardware | Quantization | Memory | Est. need | Fits |
|---|---|---|---|---|
| Apple M3 Ultra | 4bit | — | 4.9 GB | Yes |
| AMD Instinct MI325X | 4bit | 256 GB | 4.9 GB | Yes |
| AMD Instinct MI300X | 4bit | 192 GB | 4.9 GB | Yes |
| Apple M2 Ultra | 4bit | — | 4.9 GB | Yes |
| NVIDIA B200 | 4bit | 180 GB | 4.9 GB | Yes |
| NVIDIA H200 | 4bit | 141 GB | 4.9 GB | Yes |
| Apple M1 Ultra | 4bit | — | 4.9 GB | Yes |
| Apple M3 Max | 4bit | — | 4.9 GB | Yes |
| Apple M4 Max | 4bit | — | 4.9 GB | Yes |
| NVIDIA DGX Spark | 4bit | 128 GB | 4.9 GB | Yes |
| Apple M2 Max | 4bit | — | 4.9 GB | Yes |
| NVIDIA A100 80GB | 4bit | 80 GB | 4.9 GB | Yes |
| NVIDIA H100 SXM | 4bit | 80 GB | 4.9 GB | Yes |
| Apple M1 Max | 4bit | — | 4.9 GB | Yes |
| Apple M4 Pro | 4bit | — | 4.9 GB | Yes |
| Apple M3 Pro | 4bit | — | 4.9 GB | Yes |
| Apple M1 Pro | 4bit | — | 4.9 GB | Yes |
| Apple M2 Pro | 4bit | — | 4.9 GB | Yes |
| Apple M4 | 4bit | — | 4.9 GB | Yes |
| NVIDIA GeForce RTX 5090 | 4bit | 32 GB | 4.9 GB | Yes |
| Apple M2 | 4bit | — | 4.9 GB | Yes |
| Apple M3 | 4bit | — | 4.9 GB | Yes |
| NVIDIA GeForce RTX 3090 | 4bit | 24 GB | 4.9 GB | Yes |
| NVIDIA GeForce RTX 4090 | 4bit | 24 GB | 4.9 GB | Yes |
| Apple M1 | 4bit | — | 4.9 GB | Yes |
Ancestors 1
- Qwen2.5-Math-7BQwen
This model
BFS-Prover-V2-7B
7.62B params
Quantizations 0
None recorded.
Descendants 0
None recorded.
Papers 1
- arXiv:2509.06493Active
Repositories 0
No repositories linked yet.
As of
Rewind the record: see this entity's attributes exactly as AI Atlas knew them on a given day.
Claim history
Release daterelease_date1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 6 Oct 2025 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Opennessopenness1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| open-weights | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Licenselicense1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| apache-2.0 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Architecturearchitecture1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| Qwen2ForCausalLM | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Parametersparameter_count1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 7.62B | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Base modelbase_model1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| Qwen/Qwen2.5-Math-7B | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
File sizefile_size_gb1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 15.2 GB | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Hugging Face repohf_repo1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| ByteDance-Seed/BFS-Prover-V2-7B | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Pipeline tagpipeline_tag1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| text-generation | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Model cardmodel_card_url1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| https://huggingface.co/ByteDance-Seed/BFS-Prover-V2-7B | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Downloadsmetric.downloads1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 1,246 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Likesmetric.likes1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 7 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Gatedgated1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| No | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Hf inference providershf_inference_providers1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| featherless-ai | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Last modifiedlast_modified1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 2025-10-09T22:22:39+00:00 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Downloads all timemetric.downloads_all_time1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| 6,280 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Model typemodel_type1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| qwen2 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Weights dtypeweights_dtype1
| Value | Valid from → to | Status | Source | Confidence | Extractor |
|---|---|---|---|---|---|
| BF16 | → current | current | Hugging Face Hub (public pages, model cards, papers)T2 | medium | deterministic |
Claims are temporal and append-only: a new observation closes the previous claim (valid_to) instead of overwriting it. Conflicting claims from different sources are kept side by side and flagged — never averaged. Methodology →
| Source | Document | Type | Tier | Last observed | Snapshots |
|---|---|---|---|---|---|
| Hugging Face Hub (public pages, model cards, papers) | huggingface.co/ByteDance-Seed/BFS-Prover-V2-7B | model_page | T2· Quality secondary | 17 min ago | 1 |
| Hugging Face Hub (public pages, model cards, papers) | huggingface.co/models?author=ByteDance-Seed&p=0&sort=downloads | listing | T2· Quality secondary | 31 min ago | 2 |
Tier 1 = official/primary, 2 = quality secondary, 3 = community, 4 = unverified. Every snapshot is archived; see all sources and the methodology.