Alternatives and similar repositories for CriticLean

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

• BytedTsinghua-SIA / Enigmata
  Resources for the Enigmata Project.
  ☆53Updated last month
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆82Updated last month
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆33Updated this week
• dvlab-research / ARPO
  Official Implementation of ARPO: End-to-End Policy Optimization for GUI Agents with Experience Replay
  ☆89Updated last month
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆103Updated 2 months ago
• ltzheng / SimpleTIR
  End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning
  ☆127Updated this week
• test-time-interaction / TTI
  ☆48Updated last month
• GAIR-NLP / OlympicArena
  [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI
  ☆102Updated 4 months ago
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆86Updated 9 months ago
• google-deepmind / bbeh
  ☆83Updated 2 months ago
• StigLidu / TURN
  [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"
  ☆21Updated 5 months ago
• zitian-gao / SC-MCTS
  Interpretable Contrastive Monte Carlo Tree Search Reasoning
  ☆49Updated 8 months ago
• xlang-ai / OSWorld-G
  Scaling Computer-Use Grounding via UI Decomposition and Synthesis
  ☆85Updated 3 weeks ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆109Updated 5 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆137Updated last week
• chenllliang / MMEvalPro
  [NAACL 2025] Source code for MMEvalPro, a more trustworthy and efficient benchmark for evaluating LMMs
  ☆24Updated 9 months ago
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆58Updated 4 months ago
• LLM360 / Reasoning360
  A repo for open research on building large reasoning models
  ☆71Updated this week
• VisualWebBench / VisualWebBench
  Evaluation framework for paper "VisualWebBench: How Far Have Multimodal LLMs Evolved in Web Page Understanding and Grounding?"
  ☆57Updated 8 months ago
• Lagooon / LeanSTaR
  ☆42Updated 9 months ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆138Updated 9 months ago
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆95Updated 4 months ago
• Gen-Verse / CURE
  Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆93Updated this week
• Sphere-AI-Lab / FormalMATH-Bench
  ☆58Updated last month
• RUCAIBox / JiuZhang3.0
  The code and data for the paper JiuZhang3.0
  ☆47Updated last year
• ernie-research / Tool-Augmented-Reward-Model
  [ICLR'24 spotlight] Tool-Augmented Reward Modeling
  ☆50Updated last month
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆85Updated 6 months ago
• bigai-nlco / LatentSeek
  Official Repository of LatentSeek
  ☆51Updated last month
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆88Updated 3 months ago