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_analysis /final /tokenizer.json

Commit History

Upload expert_analysis/final/tokenizer.json with huggingface_hub
9ecb171
verified

haielab commited on