Alternatives and similar repositories for mem-kk-logic

Users that are interested in mem-kk-logic are comparing it to the libraries listed below

• inclusionAI / PromptCoT
  A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…
  ☆58Updated 3 weeks ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆84Updated 6 months ago
• yyDing1 / ScaleQuest
  [ACL-25] We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLMs.
  ☆63Updated 7 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆105Updated 5 months ago
• Open-Source-O1 / o1_Reasoning_Patterns_Study
  ☆102Updated 6 months ago
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆108Updated 6 months ago
• icip-cas / awesome-auto-alignment
  Collection of papers for scalable automated alignment.
  ☆91Updated 8 months ago
• Junjie-Ye / ToolEyes
  [COLING 2025] ToolEyes: Fine-Grained Evaluation for Tool Learning Capabilities of Large Language Models in Real-world Scenarios
  ☆68Updated last month
• yegcjs / mixinglaws
  ☆101Updated 8 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 10 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆94Updated 3 months ago
• FreedomIntelligence / OVM
  ☆67Updated last year
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆98Updated last month
• Yifan-Song793 / ETO
  Trial and Error: Exploration-Based Trajectory Optimization of LLM Agents (ACL 2024 Main Conference)
  ☆143Updated 7 months ago
• sanowl / OmegaPRM
  this is an implementation for the paper Improve Mathematical Reasoning in Language Models by Automated Process Supervision from google de…
  ☆33Updated 2 months ago
• GAIR-NLP / LIMR
  ☆202Updated 4 months ago
• ZitongYang / Synthetic_Continued_Pretraining
  Code implementation of synthetic continued pretraining
  ☆114Updated 5 months ago
• RyanLiu112 / GenPRM
  Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".
  ☆75Updated 2 weeks ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆63Updated 6 months ago
• NumberChiffre / mcts-llm
  ☆95Updated 6 months ago
• SparkJiao / dpo-trajectory-reasoning
  [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".
  ☆78Updated 5 months ago
• genrm-star / genrm-critiques
  GenRM-CoT: Data release for verification rationales
  ☆61Updated 8 months ago
• GAIR-NLP / OPO
  ☆50Updated last year
• shizhediao / R-Tuning
  [NAACL 2024 Outstanding Paper] Source code for the NAACL 2024 paper entitled "R-Tuning: Instructing Large Language Models to Say 'I Don't…
  ☆114Updated 11 months ago
• WooooDyy / MathCritique
  Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".
  ☆54Updated 6 months ago
• GAIR-NLP / ReAlign
  Reformatted Alignment
  ☆113Updated 9 months ago
• LightChen233 / reasoning-boundary
  ☆61Updated this week
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆100Updated last month
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆130Updated 11 months ago
• rookie-joe / AutoPSV
  ☆46Updated 7 months ago