ByteDance-Seed / BFS-Prover-V1-7B
Text Generation7.6B93826Updated Oct 14, 2025
Downloads
938
Likes
26
Last updated
Oct 14, 2025
License
apache-2.0
This repository contains the latest tactic generator model checkpoint from BFS-Prover, a state-of-the-art theorem proving system in Lean4. While the full BFS-Prover system integrates multiple components for scalable theorem proving, we are releasing the core tactic generation …
Tasks & library
- text generation
- transformers
Tags
- transformers
- qwen2
- text-generation
- lean4
- theorem-proving
- formal-mathematics