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_shared
/
final
607 MB
1 contributor
History:
6 commits
haielab
Upload expert_shared/final/tokenizer_config.json with huggingface_hub
1e3798b
verified
5 days ago
README.md
5.11 kB
Upload expert_shared/final/README.md with huggingface_hub
5 days ago
adapter_config.json
808 Bytes
Upload expert_shared/final/adapter_config.json with huggingface_hub
5 days ago
adapter_model.safetensors
600 MB
xet
Upload expert_shared/final/adapter_model.safetensors with huggingface_hub
5 days ago
special_tokens_map.json
369 Bytes
Upload expert_shared/final/special_tokens_map.json with huggingface_hub
5 days ago
tokenizer.json
7.5 MB
Upload expert_shared/final/tokenizer.json with huggingface_hub
5 days ago
tokenizer_config.json
886 Bytes
Upload expert_shared/final/tokenizer_config.json with huggingface_hub
5 days ago
