Alternatives and similar repositories for MiP-Overthinking

Users that are interested in MiP-Overthinking are comparing it to the libraries listed below

• rookie-joe / AutoPSV
  ☆45Updated 6 months ago
• WooooDyy / MathCritique
  Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".
  ☆52Updated 5 months ago
• ssmisya / PRMBench
  The official code repository for PRMBench.
  ☆73Updated 3 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆61Updated 5 months ago
• yuyq18 / StepTool
  ☆27Updated 2 months ago
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆96Updated last month
• KbsdJames / omni-math-rule
  The rule-based evaluation subset and code implementation of Omni-MATH
  ☆21Updated 4 months ago
• THU-KEG / RM-Bench
  [ICLR 25 Oral] RM-Bench: Benchmarking Reward Models of Language Models with Subtlety and Style
  ☆40Updated last month
• NineAbyss / S2R
  This is the official implementation of the paper "S²R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learning"
  ☆62Updated 3 weeks ago
• RyanLiu112 / GenPRM
  Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".
  ☆72Updated 3 weeks ago
• SparkJiao / dpo-trajectory-reasoning
  [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".
  ☆77Updated 4 months ago
• LightChen233 / reasoning-boundary
  ☆55Updated 7 months ago
• Zanette-Labs / efficient-reasoning
  ☆61Updated last month
• yyDing1 / ScaleQuest
  We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLMs.
  ☆62Updated 6 months ago
• limenlp / verl
  AdaRFT: Efficient Reinforcement Finetuning via Adaptive Curriculum Learning
  ☆34Updated this week
• SihengLi99 / LLM-Honesty-Survey
  A Survey on the Honesty of Large Language Models
  ☆57Updated 5 months ago
• GAIR-NLP / weak-to-strong-reasoning
  ☆59Updated 8 months ago
• GAIR-NLP / ToRL
  ☆168Updated last month
• Blueyee / Efficient-CoT-LRMs
  Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!
  ☆52Updated last month
• WeiminXiong / IPR
  Watch Every Step! LLM Agent Learning via Iterative Step-level Process Refinement (EMNLP 2024 Main Conference)
  ☆57Updated 6 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆82Updated 4 months ago
• sanowl / Self-Correcting-LLM--Reinforcement-Learning-
  This my attempt to create Self-Correcting-LLM based on the paper Training Language Models to Self-Correct via Reinforcement Learning by g…
  ☆35Updated last month
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆95Updated last week
• FreedomIntelligence / OVM
  ☆67Updated last year
• RyanLiu112 / Awesome-Process-Reward-Models
  A comprehensive collection of process reward models.
  ☆76Updated last week
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆147Updated 2 months ago
• pillowsofwind / Knowledge-Conflicts-Survey
  [EMNLP 2024] The official GitHub repo for the survey paper "Knowledge Conflicts for LLMs: A Survey"
  ☆116Updated 7 months ago
• KbsdJames / MATH-Minos
  The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…
  ☆39Updated 9 months ago
• icip-cas / Verifier-Engineering
  Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
  ☆57Updated 5 months ago
• StarDewXXX / O1-Pruner
  Official repository for paper: O1-Pruner: Length-Harmonizing Fine-Tuning for O1-Like Reasoning Pruning
  ☆74Updated 2 months ago