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.
m-a-p/OProver-8B
Open entry pageModelDatasetPaperRepository
Connections
- m-a-p/OProofs Datasettrained on
- mradermacher/OProver-8B-GGUF Modelderived into
- OProver: A Unified Framework for Agentic Formal Theorem Proving Papercites
- mradermacher/OProver-32B-Base-GGUF Modeltwo steps away
- mradermacher/OProver-8B-Base-GGUF Modeltwo steps away
- mradermacher/OProver-32B-GGUF Modeltwo steps away
- m-a-p/FineFineWeb Datasetsame organization
- m-a-p/MERT-v1-95M Modelsame organization
- m-a-p/MERT-v1-330M Modelsame organization
- m-a-p/PIN-200M Datasetsame organization
- m-a-p/Matrix Datasetsame organization
- m-a-p/YuE2-3B 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