DeepSeek-Math V2
Software / App
A recent paper and open-source model proposed for building automated self-verification loops in theorem proving domains, introducing meta-verification.
Mentioned in 1 video
A recent paper and open-source model proposed for building automated self-verification loops in theorem proving domains, introducing meta-verification.
