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.
Goedel-LM/Goedel-Prover-V2-32B
Open entry pageModelDatasetPaperRepository
Connections
- mradermacher/Goedel-Prover-V2-32B-i1-GGUF Modelderived into
- DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF Modelderived into
- mradermacher/Goedel-Prover-V2-32B-GGUF Modelderived into
- Qwen/Qwen3-32B Modelbuilt on
- Qwen/Qwen3-32B-GGUF Modeltwo steps away
- lmstudio-community/Qwen3-32B-MLX-8bit Modeltwo steps away
- staccs/Qwen3-32B-lecore-19g-GGUF Modeltwo steps away
- DhruvalLabs/Qwen3-32B-GGUF Modeltwo steps away
- Qwen/Qwen3-32B-FP8 Modeltwo steps away
- Qwen/Qwen3-32B-AWQ Modeltwo steps away
- MaziyarPanahi/Qwen3-32B-GGUF Modeltwo steps away
- VelaOrg/vela-guard-32b Modeltwo steps away
- lmstudio-community/Qwen3-32B-MLX-4bit Modeltwo steps away
- unsloth/Qwen3-32B-bnb-4bit Modeltwo steps away
- unsloth/Qwen3-32B-GGUF Modeltwo steps away
- AICP-Labs/qwen3-32b-dflash-en-zh Modeltwo steps away
- RedHatAI/Qwen3-32B-NVFP4 Modeltwo steps away
- mlx-community/Qwen3-32B-8bit Modeltwo steps away
- Goedel-LM/Goedel-Prover-V2-8B Modelsame organization
- Goedel-LM/Goedel-Prover-SFT Modelsame organization
- Goedel-LM/Lean-workbook-proofs Datasetsame organization
- Goedel-LM/Goedel-Pset-v1 Datasetsame organization
- Goedel-LM/MathOlympiadBench Datasetsame organization
- Goedel-LM/SFT_dataset_v2 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