#MiniF2F

DeepSeek-AI released DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving using subgoal decomposition and reinforcement learning, achieving state-of-the-art results on multiple formal reasoning benchmarks.