Graph explorer Model
Around BFS-Prover-V2-7B
Every recorded relation of BFS-Prover-V2-7B, coloured by entity type. Click a node to open it.
Direct relations, as a list
- Described by 1
- PaperarXiv:2509.06493
- Fine-tuned from 1
- ModelQwen2.5-Math-7B
- Developed by 1
- CompanyByteDance