Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ai4he
/
mathscy-moe-7b
like
0
Follow
Human-AI Empowerment Lab
1
Text Generation
PEFT
Safetensors
ai4he/mathscy-training-data
English
mathematics
mixture-of-experts
lora
qlora
theorem-proving
conjecture-generation
deepseek-math
branch-train-mix
lean4
self-play
Eval Results (legacy)
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
mathscy-moe-7b
/
expert_analysis
/
final
/
tokenizer.json
haielab
Upload expert_analysis/final/tokenizer.json with huggingface_hub
9ecb171
verified
5 days ago
raw
Copy download link
history
contribute
delete
7.5 MB
File too large to display, you can
check the raw version
instead.