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.
uw-math-ai/math-graph
Open entry pageModelDatasetPaperRepository
Connections
- TheoremGraph: Bridging Formal and Informal Mathematics Papercites
- uw-math-ai/APRIL Datasetsame organization
- uw-math-ai/theorem-search-dataset Datasetsame organization
- uw-math-ai/theorem-matching Datasetsame organization
- uw-math-ai/MathLeap-Qwen-8B Modelsame organization
- uw-math-ai/MathLeap-Octen-8B Modelsame organization
- uw-math-ai/theorem-search-dataset-permissive 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