MinF-2F-test
Emerging7papers using it
2025first seen
Papers using MinF-2F-test (7)
- GDEPO: Group Dual-dynamic and Equal-right Advantage Policy Optimization with Enhanced Training Data Utilization for Sample-Constrained Reinforcement LearningPhysProver: Advancing Automatic Theorem Proving for PhysicsGAR: Generative Adversarial Reinforcement Learning for Formal Theorem ProvingStepFun-Prover Preview: Let's Think and Verify Step by StepRewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningDeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionSTP: Self-play LLM Theorem Provers with Iterative Conjecturing and
Proving