lupantech / InterGPSLinks
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
☆153Updated 2 months ago
Alternatives and similar repositories for InterGPS
Users that are interested in InterGPS are comparing it to the libraries listed below
Sorting:
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆30Updated 2 years ago
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆65Updated 3 years ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆46Updated 6 months ago
- The implement of geometric solver PGPSNet☆27Updated 4 months ago
- Formal representation and solving for Euclidean plane geometry problems.☆25Updated 5 months ago
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆101Updated last month
- ☆17Updated last year
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆41Updated 5 months ago
- Official github repo of G-LLaVA☆143Updated 4 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆31Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆23Updated 8 months ago
- Our code will be public soon .☆26Updated 2 years ago
- [NeurIPS 2024] CharXiv: Charting Gaps in Realistic Chart Understanding in Multimodal LLMs☆119Updated 2 months ago
- AI for Mathematics (AI4Math) paper list☆166Updated 8 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆131Updated 11 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆358Updated last year
- The official repository of the Omni-MATH benchmark.☆84Updated 6 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆155Updated 2 weeks ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆33Updated 8 months ago
- [NeurIPS 2024] MATH-Vision dataset and code to measure multimodal mathematical reasoning capabilities.☆107Updated last month
- Automatic solver for plane geometry problems.☆32Updated last month
- Paper collections of multi-modal LLM for Math/STEM/Code.☆101Updated this week
- ☆47Updated 3 months ago
- Resources for the Enigmata Project.☆40Updated 2 weeks ago
- [ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models (LLMs + MCTS + Self-Improvement)☆49Updated last year
- ☆157Updated last week
- ☆332Updated 3 weeks ago
- ☆82Updated last year
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆13Updated 2 months ago