− Alternatively, note that for 𝑝, 𝑞, 𝑟 in the given range, 𝑘 ⩽ 3 is natural, as larger 𝑘 would make the right side too large

**Derive an Upper Bound for 𝑘**: − Use inequalities to show that 𝑘 < 4, i

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

cs.CL · 2025-04-30 · unverdicted · novelty 6.0

DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3.

citing papers explorer

Showing 1 of 1 citing paper.

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition cs.CL · 2025-04-30 · unverdicted · none · ref 3
DeepSeek-Prover-V2-671B reaches 88.9% on MiniF2F-test and solves 49 PutnamBench problems plus 6 of 15 recent AIME problems by training on subgoal-decomposed proofs collected via DeepSeek-V3.

− Alternatively, note that for 𝑝, 𝑞, 𝑟 in the given range, 𝑘 ⩽ 3 is natural, as larger 𝑘 would make the right side too large

fields

years

verdicts

representative citing papers

citing papers explorer