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.
internlm/internlm2_5-step-prover
Open entry pageModelDatasetPaperRepository
Connections
- internlm/Lean-Github Datasettrained on
- internlm/Lean-Workbook Datasettrained on
- bartowski/YuLan-Mini-GGUF Modeltwo steps away
- QuantFactory/BFS-Prover-GGUF Modeltwo steps away
- mradermacher/BFS-Prover-V1-7B-i1-GGUF Modeltwo steps away
- mradermacher/BFS-Prover-V1-7B-GGUF Modeltwo steps away
- diskrot/YuLan-Mini-diskrot Modeltwo steps away
- ByteDance-Seed/BFS-Prover-V1-7B Modeltwo steps away
- yulan-team/YuLan-Mini Modeltwo steps away
- mradermacher/BFS-Prover-GGUF Modeltwo steps away
- WufuJu/internlm2-5-step-prover-critic Modeltwo steps away
- mradermacher/YuLan-Mini-GGUF Modeltwo steps away
- WithinUsAI/Agent.Nano.Coder-2B-gguf Modeltwo steps away
- diskrot/YuLan-Mini-GGUF-diskrot Modeltwo steps away
- QuantFactory/YuLan-Mini-GGUF Modeltwo steps away
- tensorblock/YuLan-Mini-GGUF Modeltwo steps away
- internlm/internlm2-chat-7b Modelsame organization
- internlm/internlm-chat-7b Modelsame organization
- internlm/internlm3-8b-instruct Modelsame organization
- internlm/internlm2-1_8b-reward Modelsame organization
- internlm/internlm2_5-7b-chat Modelsame organization
- internlm/internlm2-7b 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