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.

Independent GitHub snapshot · Automated classification · Original documentation governs