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-RL-1.7B
Open entry pageModelDatasetPaperRepository
Connections
- AI-MO/Kimina-Prover-Distill-1.7B Modelbuilt on
- mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF Modelderived into
- mradermacher/Kimina-Prover-Distill-1.7B-i1-GGUF Modeltwo steps away
- DevQuasar/AI-MO.Kimina-Prover-Distill-1.7B-GGUF Modeltwo steps away
- Qwen/Qwen3-1.7B Modeltwo steps away
- prithivMLmods/Kimina-Prover-Distill-1.7B-F32-GGUF Modeltwo steps away
- anonymous-submission-naacl/Gobble-Prover-1.7B Modeltwo steps away
- mradermacher/Kimina-Prover-Distill-1.7B-GGUF Modeltwo steps away
- gabriellarson/Kimina-Prover-Distill-1.7B-GGUF 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