Alternatives and similar repositories for InterGPS

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

• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆30Updated 2 years ago
• chen-judge / GeoQA
  Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.
  ☆66Updated 3 years ago
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆359Updated last year
• mingliangzhang2018 / PGPS
  The implement of geometric solver PGPSNet
  ☆27Updated 5 months ago
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆266Updated 10 months ago
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆104Updated last month
• LYH-YF / MWPToolkit
  MWPToolkit is an open-source framework for math word problem(MWP) solvers.
  ☆162Updated 2 years ago
• mingliangzhang2018 / PGDP
  The first end-to-end deep learning model for explicit plane geometry diagram parsing.
  ☆47Updated 7 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆159Updated last month
• keirp / OpenWebMath
  ☆160Updated last year
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆146Updated 4 months ago
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆131Updated last year
• protagolabs / odyssey-math
  ☆84Updated 5 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆63Updated 7 months ago
• RUCAIBox / JiuZhang
  Our code will be public soon .
  ☆26Updated 2 years ago
• lupantech / PromptPG
  Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".
  ☆154Updated last year
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆65Updated last year
• GeoEval / GeoEval
  This is the Repository for Geometry Problem Solving Method Evaluation
  ☆24Updated 9 months ago
• MARIO-Math-Reasoning / MARIO
  ☆28Updated last year
• PremiLab-Math / MathCheck
  [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist
  ☆33Updated 8 months ago
• RUCAIBox / CARP
  ☆17Updated 2 years ago
• xufangzhi / ENVISIONS
  [ACL 2025] A Neural-Symbolic Self-Training Framework
  ☆109Updated last month
• lupantech / MathVista
  MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
  ☆321Updated 7 months ago
• mathllm / MathCoder
  [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.
  ☆300Updated 2 months ago
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆25Updated 6 months ago
• wenhuchen / TheoremQA
  The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
  ☆157Updated last year
• TianHongZXY / CoRe
  [ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models (LLMs + MCTS + Self-Improvement)
  ☆49Updated last year
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆85Updated 6 months ago
• YuxiXie / SelfEval-Guided-Decoding
  ☆99Updated last year
• RUCAIBox / JiuZhang3.0
  The code and data for the paper JiuZhang3.0
  ☆47Updated last year