Hugging Face's logo

ai4he
/
mathscy-moe-7b

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)
Model card Files
xet
 Community
mathscy-moe-7b / expert_shared /final /README.md

Commit History

Upload expert_shared/final/README.md with huggingface_hub
b4d3c2f
verified

haielab commited on