Text Generation
PEFT
Safetensors
English
mathematics
mixture-of-experts
lora
qlora
theorem-proving
conjecture-generation
deepseek-math
branch-train-mix
lean4
self-play
Eval Results (legacy)
Instructions to use ai4he/mathscy-moe-7b with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
How to use ai4he/mathscy-moe-7b with PEFT:
Task type is invalid.
- Notebooks
- Google Colab
- Kaggle
Download expert_registry.json from ai4he/mathscy-moe-7b: direct link, hf CLI and curl.
- Browser
- Download file 1.05 kB
-
https://huggingface.co/ai4he/mathscy-moe-7b/resolve/main/expert_registry.json
- Command line
-
hf download hf://ai4he/mathscy-moe-7b/expert_registry.json
-
curl -L -o expert_registry.json https://huggingface.co/ai4he/mathscy-moe-7b/resolve/main/expert_registry.json
1.05 kB
| { | |
| "base_model": "deepseek-ai/deepseek-math-7b-base", | |
| "shared_expert": "/scratch/ctoxtli/moexp/models/expert_shared/final", | |
| "domain_experts": { | |
| "algebraic_geometry": "/scratch/ctoxtli/moexp/models/expert_algebraic_geometry/final", | |
| "discrete_math": "/scratch/ctoxtli/moexp/models/expert_discrete_math/final", | |
| "number_theory": "/scratch/ctoxtli/moexp/models/expert_number_theory/final", | |
| "analysis": "/scratch/ctoxtli/moexp/models/expert_analysis/final", | |
| "algebra": "/scratch/ctoxtli/moexp/models/expert_algebra/final", | |
| "geometry_topology": "/scratch/ctoxtli/moexp/models/expert_geometry_topology/final", | |
| "probability_statistics": "/scratch/ctoxtli/moexp/models/expert_probability_statistics/final" | |
| }, | |
| "router": "/scratch/ctoxtli/moexp/models/moe_assembled/router.pt", | |
| "num_experts": 7, | |
| "top_k": 2, | |
| "domains": [ | |
| "algebraic_geometry", | |
| "discrete_math", | |
| "number_theory", | |
| "analysis", | |
| "algebra", | |
| "geometry_topology", | |
| "probability_statistics" | |
| ], | |
| "timestamp": "2026-02-25 20:59:34" | |
| } |