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
haielab's picture
haielab
Upload expert_analysis/final/tokenizer.json with huggingface_hub
9ecb171 verified
raw
history contribute delete
7.5 MB
File too large to display, you can check the raw version instead.