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.

mradermacher/BFS-Prover-V1-7B-i1-GGUF

Open entry page

ModelDatasetPaperRepository

Connections

ByteDance-Seed/BFS-Prover-V1-7B Modelbuilt on
internlm/Lean-Github Datasettrained on
AI-MO/NuminaMath-CoT Datasettrained 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
mlx-community/dolphin3.0-llama3.2-3B-4Bit Modeltwo steps away
Robert-Finance/Dolphin3.0-Llama3.2-3B-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
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
bartowski/Dolphin3.0-Llama3.1-8B-GGUF Modeltwo steps away
mradermacher/Ornith-1.5-9B-uncensored-GGUF Modelsame organization
mradermacher/Qwen3-VL-8B-Instruct-abliterated-GGUF Modelsame organization
mradermacher/Cyber-Ornith-1.5-9B-OBLITERATED-i1-GGUF Modelsame organization
mradermacher/Simplicio-27B-GGUF Modelsame organization
mradermacher/Hemmingway-1-GGUF Modelsame organization
mradermacher/AdaVaR-3B-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