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
• mingliangzhang2018 / PGDP
  The first end-to-end deep learning model for explicit plane geometry diagram parsing.
  ☆39Updated 2 months ago
• chen-judge / GeoQA
  Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.
  ☆53Updated 3 years ago
• mingliangzhang2018 / PGPS
  The implement of geometric solver PGPSNet
  ☆22Updated 3 weeks ago
• LYH-YF / MWPToolkit
  MWPToolkit is an open-source framework for math word problem(MWP) solvers.
  ☆163Updated 2 years ago
• RUCAIBox / JiuZhang
  Our code will be public soon .
  ☆26Updated last year
• SCNU203 / GeoQA-Plus
  ☆14Updated 9 months ago
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆349Updated last year
• liuchengwucn / FIMO
  ☆30Updated 3 months ago
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆245Updated 5 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆58Updated 11 months ago
• evelinehong / SMART
  ☆20Updated 4 years ago
• allanj / Deductive-MWP
  ☆62Updated last year
• ShichaoSun / math_seq2tree
  Seq2Tree model for Solving Math Word Problems
  ☆144Updated 2 years ago
• GeoEval / GeoEval
  This is the Repository for Geometry Problem Solving Method Evaluation
  ☆15Updated 4 months ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆39Updated 8 months ago
• 2003pro / Graph2Tree
  Code for Graph-to-Tree Learning for Solving Math Word Problems (ACL 2020)
  ☆78Updated 3 years ago
• rookie-joe / automatic-lean4-compilation
  ☆15Updated 6 months ago
• rookie-joe / PDA
  ☆26Updated last month
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆167Updated last week
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆151Updated 4 months ago
• tbs17 / MathBERT
  ☆67Updated 3 years ago
• NiteshMethani / PlotQA
  Dataset introduced in PlotQA: Reasoning over Scientific Plots
  ☆73Updated last year
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆128Updated this week
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• mathllm / MathCoder
  Family of LLMs for mathematical reasoning.
  ☆248Updated 2 months ago
• LZhenwen / MWP-BERT
  NAACL 2022 Findings Paper: MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
  ☆32Updated 2 years ago
• MARIO-Math-Reasoning / MARIO
  ☆26Updated 9 months ago
• OhadRubin / EPR
  ☆60Updated 2 years ago
• QinJinghui / NS-Solver
  ☆19Updated 2 years ago