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
  ☆27Updated 2 years ago
• chen-judge / GeoQA
  Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.
  ☆45Updated 3 years ago
• mingliangzhang2018 / PGDP
  The first end-to-end deep learning model for explicit plane geometry diagram parsing.
  ☆39Updated last month
• RUCAIBox / JiuZhang
  Our code will be public soon .
  ☆26Updated last year
• mingliangzhang2018 / PGPS
  The implement of geometric solver PGPSNet
  ☆22Updated 3 months ago
• 2003pro / Graph2Tree
  Code for Graph-to-Tree Learning for Solving Math Word Problems (ACL 2020)
  ☆78Updated 3 years ago
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆345Updated last year
• LYH-YF / MWPToolkit
  MWPToolkit is an open-source framework for math word problem(MWP) solvers.
  ☆163Updated 2 years ago
• ShichaoSun / math_seq2tree
  Seq2Tree model for Solving Math Word Problems
  ☆144Updated 2 years 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…
  ☆102Updated 6 months ago
• allanj / Deductive-MWP
  ☆62Updated last year
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆38Updated 7 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆57Updated 10 months ago
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆92Updated 6 months ago
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆233Updated 4 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆297Updated this week
• BitSecret / AI4Math
  Everything about AI4Math (AI for Mathematics).
  ☆17Updated 8 months ago
• evelinehong / SMART
  ☆20Updated 3 years ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆144Updated 3 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆114Updated 6 months ago
• GeoEval / GeoEval
  This is the Repository for Geometry Problem Solving Method Evaluation
  ☆15Updated 3 months ago
• TianHongZXY / CoRe
  [ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models (LLMs + MCTS + Self-Improvement)
  ☆48Updated last year
• rookie-joe / automatic-lean4-compilation
  ☆14Updated 5 months ago
• SCNU203 / GeoQA-Plus
  ☆14Updated 8 months ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated last year
• albertqjiang / draft_sketch_prove
  ☆63Updated last year
• QinJinghui / NS-Solver
  ☆19Updated 2 years ago
• MARIO-Math-Reasoning / MARIO
  ☆26Updated 8 months ago
• YuxiXie / SelfEval-Guided-Decoding
  ☆93Updated last year
• uestc-db / T-RNN
  ☆21Updated 6 years ago