ByteDance Seed publishes BFS-Prover-V2-32B for Lean4 proving
ByteDance Seed released BFS-Prover-V2-32B, a 32B parameter model fine-tuned from Qwen2.5-32B for step-based formal proving in Lean4. Published on Hugging Face under Apache-2.0 license.
PUBLISHED2025-09-30
OBSERVED2026-08-11
AGE11mo
SOURCES1
- 32B parameter, fine-tuned from Qwen2.5-32B
- Domain: Lean4 step-prover
- License: Apache-2.0
- Referenced paper: arxiv:2509.06493
- Pipeline: text-generation
COMMUNITY
No curated reactions recorded for this event. Facts and takes are kept in separate layers — community context is added by hand, never blended into the record above.