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.

AI-MO/Kimina-Prover-Distill-1.7B

Open entry page

ModelDatasetPaperRepository

Connections

mradermacher/Kimina-Prover-Distill-1.7B-i1-GGUF Modelderived into
AI-MO/Kimina-Prover-RL-1.7B Modelderived into
DevQuasar/AI-MO.Kimina-Prover-Distill-1.7B-GGUF Modelderived into
Qwen/Qwen3-1.7B Modelbuilt on
prithivMLmods/Kimina-Prover-Distill-1.7B-F32-GGUF Modelderived into
anonymous-submission-naacl/Gobble-Prover-1.7B Modelderived into
mradermacher/Kimina-Prover-Distill-1.7B-GGUF Modelderived into
gabriellarson/Kimina-Prover-Distill-1.7B-GGUF Modelderived into
unsloth/Qwen3-1.7B-unsloth-bnb-4bit Modeltwo steps away
Qwen/Qwen3-1.7B-Base Modeltwo steps away
MaziyarPanahi/Qwen3-1.7B-GGUF Modeltwo steps away
ggml-org/Qwen3-1.7B-GGUF Modeltwo steps away
unsloth/Qwen3-1.7B-GGUF Modeltwo steps away
unsloth/Qwen3-1.7B Modeltwo steps away
bartowski/Qwen_Qwen3-1.7B-GGUF Modeltwo steps away
unswnlporg/alexmt-qwen3-1.7b-s2-from-base Modeltwo steps away
TuringLogic/system-x Modeltwo steps away
tobil/qmd-query-expansion-1.7B-gguf Modeltwo steps away
nvidia/canary-qwen-2.5b Modeltwo steps away
unswnlporg/alexmt-qwen3-1.7b-s1-ck085 Modeltwo steps away
Qwen/Qwen3-1.7B-GGUF Modeltwo steps away
unswnlporg/alexmt-qwen3-1.7b-s1-ck075 Modeltwo steps away
AI-MO/NuminaMath-CoT Datasetsame organization
AI-MO/olympiads Datasetsame organization
AI-MO/NuminaMath-1.5 Datasetsame organization
AI-MO/aops Datasetsame organization
AI-MO/aimo-validation-aime Datasetsame organization
AI-MO/NuminaMath-TIR Datasetsame 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