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/proofforge-goedel8b-sft-lora-e2e-smoke
Open entry pageModelDatasetPaperRepository
Connections
- Goedel-LM/Goedel-Prover-V2-8B Modelbuilt on
- Goedel-LM/Goedel-Pset-v1 Datasettrained on
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r1 Modeltwo steps away
- vignesh-trustt/proofforge-rlvr-run-e2e-smoke-rlvr-2026.10.26 Modeltwo steps away
- vignesh-trustt/proofforge-sft-checkpoint-e2e-smoke-sft-2026.10.26 Modeltwo steps away
- vignesh-trustt/proofforge-probe-p3-leanrl-cispo-iter1 Modeltwo steps away
- vignesh-trustt/proofforge-dpo-checkpoint-e2e-smoke-dpo-2026.10.26 Modeltwo steps away
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r2 Modeltwo steps away
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r3 Modeltwo steps away
- Qwen/Qwen3-8B Modeltwo steps away
- mradermacher/Goedel-Prover-V2-8B-GGUF Modeltwo steps away
- viai957/indicvoices-emotion-translation Datasetsame organization
- viai957/omnivoxtral-data Datasetsame organization
- viai957/nano-mistral-o1-grpo-stageb-step48 Modelsame organization
- viai957/nano-mistral-o1-dpo-arm-a Modelsame organization
- viai957/align 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