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
  ☆28Updated 2 years ago
• mingliangzhang2018 / PGDP
  The first end-to-end deep learning model for explicit plane geometry diagram parsing.
  ☆41Updated 4 months ago
• chen-judge / GeoQA
  Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.
  ☆62Updated 3 years ago
• mingliangzhang2018 / PGPS
  The implement of geometric solver PGPSNet
  ☆24Updated 3 months ago
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆355Updated last year
• LYH-YF / MWPToolkit
  MWPToolkit is an open-source framework for math word problem(MWP) solvers.
  ☆163Updated 2 years ago
• OFA-Sys / gsm8k-ScRel
  Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
  ☆261Updated 7 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…
  ☆123Updated 9 months ago
• RUCAIBox / JiuZhang
  Our code will be public soon .
  ☆26Updated 2 years ago
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆98Updated 9 months ago
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆137Updated 2 months ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆182Updated 2 months ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆145Updated 9 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆67Updated last year
• FranxYao / FlanT5-CoT-Specialization
  Implementation of ICML 23 Paper: Specializing Smaller Language Models towards Multi-Step Reasoning.
  ☆130Updated last year
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆61Updated last year
• MARIO-Math-Reasoning / Super_MARIO
  ☆328Updated 3 months ago
• GeoEval / GeoEval
  This is the Repository for Geometry Problem Solving Method Evaluation
  ☆22Updated 7 months ago
• allanj / Deductive-MWP
  ☆63Updated 2 years ago
• SCNU203 / GeoQA-Plus
  ☆15Updated 11 months ago
• MARIO-Math-Reasoning / MARIO_EVAL
  ☆45Updated 2 months ago
• keirp / OpenWebMath
  ☆150Updated last year
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆31Updated 11 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆60Updated 4 months ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆41Updated 11 months ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆146Updated 6 months ago
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆21Updated 3 months ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆160Updated 7 months ago
• MARIO-Math-Reasoning / MARIO
  ☆27Updated last year
• liuchengwucn / FIMO
  ☆34Updated 6 months ago