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
haielab commited on
Commit
0ce35ec
·
verified ·
1 Parent(s): be3d5cd

Upload expert_shared/final/tokenizer.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. expert_shared/final/tokenizer.json +0 -0
expert_shared/final/tokenizer.json ADDED
The diff for this file is too large to render. See raw diff