Alternatives and similar repositories for MathChat

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

• icip-cas / Verifier-Engineering
  Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
  ☆63Updated last year
• OSU-NLP-Group / Mind2Web-2
  [NeurIPS'25 D&B] Mind2Web-2 Benchmark: Evaluating Agentic Search with Agent-as-a-Judge
  ☆96Updated last week
• GAIR-NLP / OlympicArena
  [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI
  ☆108Updated 9 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆112Updated 11 months ago
• test-time-interaction / TTI
  ☆68Updated 6 months ago
• Berkeley-NLP / Agent-Eval-Refine
  Code for Paper: Autonomous Evaluation and Refinement of Digital Agents [COLM 2024]
  ☆147Updated last year
• OSU-NLP-Group / llm-planning-eval
  [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
  ☆54Updated last year
• hsaest / Agent-Planning-Analysis
  [NAACL'25] "Revealing the Barriers of Language Agents in Planning"
  ☆13Updated 6 months ago
• satori-reasoning / Satori
  [ICML 2025] Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search
  ☆108Updated 6 months ago
• sunblaze-ucb / omega
  ☆44Updated 6 months ago
• OSU-NLP-Group / WebDreamer
  [TMLR'25] "Is Your LLM Secretly a World Model of the Internet? Model-Based Planning for Web Agents"
  ☆92Updated 2 months ago
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆118Updated 7 months ago
• scaleapi / plansearch
  e
  ☆42Updated 8 months ago
• lifan-yuan / CRAFT
  Code for ICLR 2024 paper "CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets"
  ☆60Updated last year
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆86Updated 7 months ago
• OSU-NLP-Group / Middleware
  Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments (EMNLP'2024)
  ☆37Updated last year
• mukhal / ThinkPRM
  Process Reward Models That Think
  ☆67Updated last month
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆65Updated 10 months ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆37Updated last year
• zitian-gao / SC-MCTS
  Interpretable Contrastive Monte Carlo Tree Search Reasoning
  ☆48Updated last year
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆134Updated 9 months ago
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆112Updated 5 months ago
• rookie-joe / AutoPSV
  ☆51Updated last year
• YangLing0818 / SuperCorrect-llm
  [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction
  ☆86Updated 9 months ago
• multimodal-art-projection / TreePO
  ☆54Updated 2 months ago
• ernie-research / Tool-Augmented-Reward-Model
  [ICLR'24 spotlight] Tool-Augmented Reward Modeling
  ☆51Updated 6 months ago
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆36Updated last year
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆109Updated 7 months ago
• yuleiqin / RAIF
  A Recipe for Building LLM Reasoners to Solve Complex Instructions
  ☆29Updated 2 months ago
• thu-coai / SPaR
  ☆46Updated 6 months ago