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.
iiis-lean/NuminaMath-LEAN-Sol
Open entry pageModelDatasetPaperRepository
Connections
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r1 Modelused to train
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r2 Modelused to train
- viai957/Goedel-Prover-V2-8B-EI-campaign1-r3 Modelused to train
- nvidia/Nemotron-Math-Proofs-v1 Datasettwo steps away
- SphereLab/FormalMATH-All Datasettwo steps away
- Goedel-LM/Goedel-Prover-V2-8B Modeltwo steps away
- Goedel-LM/Goedel-Pset-v1 Datasettwo steps away
- iiis-lean/NuminaMath-LEAN-Proof-Artifacts Datasetsame organization
- iiis-lean/lean-math-formal-corpus 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