Hugging Face model: ai4he/mathscy-moe-7b
Author: ai4he
Created: 2026-02-26 04:50:47
Last modified: 2026-02-26 11:19:04
Pipeline: text-generation
Library: peft
Likes: 0 | Downloads: 0
Tags: peft, safetensors, mathematics, mixture-of-experts, lora, qlora, theorem-proving, conjecture-generation, deepseek-math, branch-train-mix, lean4, self-play, text-generation, en, dataset:ai4he/mathscy-training-data, base_model:deepseek-ai/deepseek-math-7b-base, base_model:adapter:deepseek-ai/deepseek-math-7b-base, license:apache-2.0, model-index, region:us
Base model relation: adapter
Base models: id: deepseek-ai/deepseek-math-7b-base
Card metadata:
language: en
license: apache-2.0
tags: mathematics, mixture-of-experts, lora, qlora, theorem-proving, conjecture-generation, deepseek-math, branch-train-mix, lean4, self-play
base_model: deepseek-ai/deepseek-math-7b-base
library_name: peft
pipeline_tag: text-generation
datasets: ai4he/mathscy-training-data