Graph explorer Model
Around BFS-Prover-V2-7B
Every recorded relation of BFS-Prover-V2-7B and of its neighbours, coloured by entity type. Click a node to open it.
25 of the edges connect neighbours to each other (second order).
Direct relations, as a list
- Described by 1
- PaperarXiv:2509.06493
- Developed by 1
- CompanyByteDance
- Fine-tuned from 1
- ModelQwen2.5-Math-7B