Knowledge Graph
Silytics Knowledge Graph
See how models, datasets, papers and organizations connect. Every link comes from public metadata: papers named on a model card, datasets and base models named in its tags, and the organization that published it. Click any dot to re-center; the smaller outer ring is two steps away.
QuantFactory/BFS-Prover-GGUF
Open entry pageModelDatasetPaperRepository
Connections
- internlm/Lean-Github Datasettrained on
- AI-MO/NuminaMath-CoT Datasettrained on
- Qwen/Qwen2.5-Math-7B Modelbuilt on
- internlm/Lean-Workbook Datasettrained on
- bartowski/agentica-org_DeepScaleR-1.5B-Preview-GGUF Modeltwo steps away
- dphn/Dolphin3.0-Llama3.1-8B-GGUF Modeltwo steps away
- bartowski/Dolphin3.0-Qwen2.5-1.5B-GGUF Modeltwo steps away
- bartowski/Dolphin3.0-Llama3.2-1B-GGUF Modeltwo steps away
- bartowski/cognitivecomputations_Dolphin3.0-R1-Mistral-24B-GGUF Modeltwo steps away
- dphn/Dolphin3.0-Llama3.1-8B Modeltwo steps away
- agentica-org/DeepScaleR-1.5B-Preview Modeltwo steps away
- Qwen/Qwen2.5-Math-7B-Instruct Modeltwo steps away
- mradermacher/llama3.1-heretic-unsensored-GGUF Modeltwo steps away
- bartowski/Dolphin3.0-Qwen2.5-3b-GGUF Modeltwo steps away
- bartowski/Sky-T1-32B-Preview-GGUF Modeltwo steps away
- samuelcardillo/Carnice-Qwen3.6-MoE-35B-A3B-GGUF Modeltwo steps away
- Qwen/Qwen2.5-7B Modeltwo steps away
- bartowski/Dolphin3.0-Llama3.1-8B-GGUF Modeltwo steps away
- QuantFactory/Qwen2.5-Coder-7B-GGUF Modelsame organization
- QuantFactory/Meta-Llama-3-8B-Instruct-GGUF Modelsame organization
- QuantFactory/glm-4-9b-chat-GGUF Modelsame organization
- QuantFactory/Qwen2.5-7B-Instruct-abliterated-v2-GGUF Modelsame organization
- QuantFactory/DarkIdol-Llama-3.1-8B-Instruct-1.2-Uncensored-GGUF Modelsame organization
- QuantFactory/Llama-3.2-3B-Instruct-abliterated-GGUF Modelsame organization
Relationships are extracted automatically from public metadata and may be incomplete or wrong. Absence of a link does not mean absence of a relationship. Intelligence · Compare models