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
607 MB
  • 1 contributor
 History: 6 commits
haielab's picture
haielab
Upload expert_analysis/final/tokenizer_config.json with huggingface_hub
a919857 verified