deepseek-math-v2-self-verifiable

【效率与协作】Synergistic verifier-generator training loop enabling LLMs to identify logical issues in mathematical proofs without reference solutions, improving reasoning rigor through meta-verification. Apply when you need to scale mathematical reasoning without hand-labeled proof annotations.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准