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