ByteDance-Seed/BFS-Prover-V2-32B
Text Generation
•
33B
•
Updated
•
347
•
10
BFS-Prover
LLM Step-Provers in Lean4
-
-
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation • 8B • Updated • 494 • • 22 -
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 327 • 5 -
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
Paper • 2502.03438 • Published • 2 -
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Paper • 2509.06493 • Published • 11