ByteDance-Seed/BFS-Prover-V2-32B
Text Generation • 33B • Updated • 283 • 13
BFS-Prover
LLM Step-Provers in Lean4
-
-
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation • 8B • Updated • 223 • • 26 -
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 663 • 7 -
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
Paper • 2502.03438 • Published • 3 -
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Paper • 2509.06493 • Published • 13