BFS-Prover-V2-7B is an open-weight text-generation model with roughly 7B parameters published by ByteDance-Seed on the Hugging Face Hub. It has 1,664 downloads.

Author

ByteDance-Seed

Platform

api

Pricing model

free

Capabilities

Text generation
Conversational
7B parameters

Related llms

Others in the same category, ranked by how often they are opened.

bloomOpen-weight LLM by bigscienceLLMs · Coding
gemma-4-12B-coder-fable5-composer2.5-v1-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
phi-4Open-weight LLM by microsoftLLMs · Coding
Kimi-K2-ThinkingOpen-weight LLM by moonshotaiLLMs · Coding
gemma-4-12B-agentic-fable5-composer2.5-v2-3.5x-tau2-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
granite-docling-258M258M open-weight LLM by ibm-graniteLLMs · Coding
openchat_3.5Open-weight LLM by openchatLLMs · Coding
MiniCPM5-1B1B open-weight LLM by openbmbLLMs · Research

BFS-Prover-V2-7B

Description

Author

Platform

Pricing model

Categories

Tags

Capabilities