BFS-Prover

Parameters

7B

Published

Feb 25, 2025

BFS-Prover is an AI model developed by ByteDance (China), first published in February 2025. It works in the language domain, on tasks such as mathematical reasoning.

Epoch AI has no training-compute estimate for this model. The model has 7,000,000,000 parameters. Training ran on NVIDIA A100 SXM4 80 GB.

Access: Open weights (unrestricted). Its weights are openly available. It is built on top of Qwen2.5-Math-7B-Base. Epoch AI rates the confidence of this record as confident.

Full record

Organization: ByteDance
Country of organization: China
Domain: Language
Task: Mathematical reasoning
Parameters: 7,000,000,000
Training hardware: NVIDIA A100 SXM4 80 GB
Model accessibility: Open weights (unrestricted)
Open weights: Yes
Base model: Qwen2.5-Math-7B-Base
Epoch confidence: Confident