fromInfoQ
3 weeks agoDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs
The DeepSeek research team has expanded their evaluation framework with a new benchmark collection designed specifically for formal theorem proving assessment. This includes ProverBench, a collection of 325 formalized problems.
Scala