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.
Pythagoras-LM/Pythagoras-Prover-4B
Open entry pageModelDatasetPaperRepository
Connections
- tinyopsec/Pythagoras-Prover-4B-GGUF Modelderived into
- Pythagoras-LM/SFT_Dataset Datasettrained on
- Qwen/Qwen3-4B Modelbuilt on
- Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Papercites
- mradermacher/Pythagoras-Prover-32B-GGUF Modeltwo steps away
- Qwen/Qwen3-4B-Base Modeltwo steps away
- unsloth/Qwen3-4B-GGUF Modeltwo steps away
- Qwen/Qwen3-4B-GGUF Modeltwo steps away
- diff-interpretation-tuning/loras Modeltwo steps away
- bartowski/Qwen_Qwen3-4B-GGUF Modeltwo steps away
- zeroentropy/zerank-2-reranker Modeltwo steps away
- Qwen/Qwen3-4B-FP8 Modeltwo steps away
- MaziyarPanahi/Qwen3-4B-GGUF Modeltwo steps away
- unsloth/Qwen3-4B-unsloth-bnb-4bit Modeltwo steps away
- AnkitAI/Parable-Qwen3-4B-Claude-Fable-5-GGUF Modeltwo steps away
- unsloth/Qwen3-4B Modeltwo steps away
- arianraje/qwen3-4b-mamba3-hybrid-stage2b-kd-bias0 Modeltwo steps away
- Qwen/Qwen3-4B-AWQ Modeltwo steps away
- Pythagoras-LM/SFT_Dataset_Distillation_32B 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