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.
viai957/Goedel-Prover-V2-8B-EI-campaign1-r3
Open entry pageModelDatasetPaperRepository
Connections
- nvidia/Nemotron-Math-Proofs-v1 Datasettrained on
- SphereLab/FormalMATH-All Datasettrained on
- Goedel-LM/Goedel-Prover-V2-8B Modelbuilt on
- iiis-lean/NuminaMath-LEAN-Sol Datasettrained on
- Goedel-LM/Goedel-Pset-v1 Datasettrained on
- lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-8bit Modeltwo steps away
- minjaechoi/nemotron3-nano-30b-a3b-2p03bit-r22 Modeltwo steps away
- mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-4Bit Modeltwo steps away
- lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-6bit Modeltwo steps away
- nvidia/NVIDIA-Nemotron-3-Nano-4B-GGUF Modeltwo steps away
- lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-5bit Modeltwo steps away
- mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-NVFP4 Modeltwo steps away
- stelterlab/NVIDIA-Nemotron-3-Nano-30B-A3B-AWQ Modeltwo steps away
- RedHatAI/NVIDIA-Nemotron-3-Nano-30B-A3B-FP8 Modeltwo steps away
- mradermacher/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUF Modeltwo steps away
- mlx-community/NVIDIA-Nemotron-3-Nano-4B-BF16 Modeltwo steps away
- mratsim/MiniMax-M2.5-FP8-INT4-AWQ Modeltwo steps away
- lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-4bit Modeltwo steps away
- mradermacher/nemotron-nano-30b-a3b-clinical-instruct-GGUF Modeltwo steps away
- viai957/indicvoices-emotion-translation Datasetsame organization
- viai957/omnivoxtral-data Datasetsame organization
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r2 Modelsame organization
- viai957/nano-mistral-o1-dpo-arm-a Modelsame organization
- viai957/align Modelsame organization
- viai957/nano-mistral-o1-grpo-stageb-step48 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