Papers

• Reasoning over mathematical objects: on-policy reward modeling and test time aggregation (2026)
  Pranjal Aggarwal et al.
  1.78
• Dyve: Thinking Fast and Slow for Dynamic Process Verification (2025)
  Jianyuan Zhong et al.
  1.28
• Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving (2025)
  Songyang Gao et al.
  1.28
• OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification (2025)
  Zijian Wu et al.
  1.28
• AutoMathText: Autonomous Data Selection with Language Models for Mathematical Texts (2024)
  Yifan Zhang et al.
  —