1 link tagged with all of: deep-learning + theorem-proving + self-verification + mathematical-reasoning
Click any tag below to further narrow down your results
Links
DeepSeekMath-V2 is a model designed to enhance mathematical reasoning through self-verification. It trains a proof generator that can evaluate and improve its own proofs, aiming for rigorous theorem proving rather than just correct final answers. The model shows strong performance in various math competitions, indicating progress in this area.