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.
EPFL-LARA/lean-world-model-qwen3-8b-reasoning-grpo
Open entry pageModelDatasetPaperRepository
Connections
- EPFL-LARA/lean-world-model-sft Datasettrained on
- Goedel-LM/RL_dataset_V2 Datasettrained on
- mradermacher/lean-world-model-qwen3-8b-reasoning-grpo-GGUF Modelderived into
- EPFL-LARA/lean-world-model-cpt Datasettrained on
- EPFL-LARA/lean-world-model-reasoning-sft Datasettrained on
- Qwen/Qwen3-8B-Base Modelbuilt on
- mhseo2/Qwen3-8B-Base-OT3Math-SFT-step250 Modeltwo steps away
- Qwen/Qwen3-Embedding-8B-GGUF Modeltwo steps away
- EPFL-LARA/lean-standard-prover-qwen3-8b-grpo Modeltwo steps away
- EPFL-LARA/lean-world-model-qwen3-4b-grpo Modeltwo steps away
- Qwen/Qwen3-Reranker-8B Modeltwo steps away
- mhseo2/Qwen3-8B-Base-OT3Math-SFT-step500 Modeltwo steps away
- EPFL-LARA/lean-standard-prover-qwen3-8b-reasoning-grpo Modeltwo steps away
- mhseo2/Klear-Reasoner-8B-SFT Modeltwo steps away
- EPFL-LARA/lean-world-model-qwen3-8b-sft Modeltwo steps away
- Qwen/Qwen3-Embedding-8B Modeltwo steps away
- Qwen/Qwen3-8B Modeltwo steps away
- EPFL-LARA/lean-world-model-qwen3-8b-grpo Modeltwo steps away
- EPFL-LARA/lean-standard-prover-qwen3-8b-sft Modeltwo steps away
- mhseo2/Qwen3-8B-Base-OT3Math-SFT-step750 Modeltwo steps away
- EPFL-LARA/lean-feedback-qwen3-4b 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