Alternatives and similar repositories for Code2Logic

Users that are interested in Code2Logic are comparing it to the libraries listed below

• ssmisya / PRMBench
  [ACL' 25] The official code repository for PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models.
  ☆74Updated 5 months ago
• OpenMOSS / Thus-Spake-Long-Context-LLM
  a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation
  ☆55Updated 3 months ago
• GAIR-NLP / LIMR
  ☆205Updated 4 months ago
• PRIME-RL / Entropy-Mechanism-of-RL
  The Entropy Mechanism of Reinforcement Learning for Large Language Model Reasoning.
  ☆251Updated last week
• hkust-nlp / Laser
  Laser: Learn to Reason Efficiently with Adaptive Length-based Reward Shaping
  ☆49Updated last month
• iie-ycx / DEER
  This is the repository of DEER, a Dynamic Early Exit in Reasoning method for Large Reasoning Language Models.
  ☆157Updated last week
• Hongcheng-Gao / Awesome-Long2short-on-LRMs
  Awesome-Long2short-on-LRMs is a collection of state-of-the-art, novel, exciting long2short methods on large reasoning models. It contains…
  ☆235Updated last month
• WooooDyy / MathCritique
  Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".
  ☆55Updated 7 months ago
• CJReinforce / PURE
  Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"
  ☆129Updated this week
• OpenMOSS / GAOKAO-MM
  [ACL'2024 Findings] GAOKAO-MM: A Chinese Human-Level Benchmark for Multimodal Models Evaluation
  ☆64Updated last year
• ElliottYan / LUFFY
  Official Repository of "Learning to Reason under Off-Policy Guidance"
  ☆251Updated last month
• SuperGPQA / SuperGPQA
  ☆155Updated 2 months ago
• RyanLiu112 / Awesome-Process-Reward-Models
  A comprehensive collection of process reward models.
  ☆95Updated 3 weeks ago
• GAIR-NLP / ToRL
  ☆241Updated last month
• OpenBMB / RLPR
  Extrapolating RLVR to General Domains without Verifiers
  ☆112Updated 3 weeks ago
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆121Updated 3 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆85Updated 6 months ago
• XiaoYee / Awesome_Efficient_LRM_Reasoning
  😎 A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond
  ☆268Updated last week
• LCLM-Horizon / A-Comprehensive-Survey-For-Long-Context-Language-Modeling
  A Comprehensive Survey on Long Context Language Modeling
  ☆163Updated last week
• GAIR-NLP / cognition-engineering
  Generative AI Act II: Test Time Scaling Drives Cognition Engineering
  ☆194Updated 2 months ago
• Blueyee / Efficient-CoT-LRMs
  Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!
  ☆63Updated 3 months ago
• SparkJiao / dpo-trajectory-reasoning
  [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".
  ☆80Updated 6 months ago
• TIGER-AI-Lab / verl-tool
  A version of verl to support tool use
  ☆292Updated this week
• RyanLiu112 / GenPRM
  Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".
  ☆79Updated last month
• dvlab-research / Step-DPO
  Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"
  ☆372Updated 5 months ago
• hkust-nlp / mstar
  [ICML 2025] M-STAR (Multimodal Self-Evolving TrAining for Reasoning) Project. Diving into Self-Evolving Training for Multimodal Reasoning
  ☆61Updated this week
• hahahawu / Long-to-Short-via-Model-Merging
  Model merging is a highly efficient approach for long-to-short reasoning.
  ☆73Updated last month
• KbsdJames / MATH-Minos
  The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…
  ☆38Updated 11 months ago
• multimodal-art-projection / KORGym
  ☆38Updated last month
• InfiMM / Awesome-Multimodal-LLM-for-Math-STEM
  Paper collections of multi-modal LLM for Math/STEM/Code.
  ☆114Updated last week