Sign inGet started
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 page
nvidia/Nemotron-Math-…SphereLab/FormalMATH-…Goedel-LM/Goedel-Prov…Goedel-LM/Goedel-Pset…viai957/Goedel-Prover-V2-8B-E…viai957/Goedel-Prover-V2-8B-E…viai957/Goedel-Prover-V2-8B-E…iiis-lean/NuminaMath-LEAN-Pro…iiis-lean/lean-math-formal-co…iiis-lean/NuminaMath-LEAN-Sol
ModelDatasetPaperRepository

Connections

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