lupantech / InterGPSLinks
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
☆159Updated 5 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”.☆66Updated 3 years ago
- The implement of geometric solver PGPSNet☆27Updated 7 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆267Updated 11 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆363Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆166Updated 2 months ago
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆328Updated 9 months ago
- Official github repo of G-LLaVA☆147Updated 6 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆136Updated last year
- MWPToolkit is an open-source framework for math word problem(MWP) solvers.☆163Updated 2 years ago
- ☆28Updated last year
- Our code will be public soon .☆27Updated 2 years ago
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆105Updated 3 months ago
- ☆340Updated 2 months ago
- ☆162Updated last year
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆308Updated last week
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆50Updated 8 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆24Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆28Updated 7 months ago
- Reference implementation for Token-level Direct Preference Optimization(TDPO)☆146Updated 6 months ago
- Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".☆156Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆25Updated 10 months ago
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆321Updated last year
- AI Alignment: A Comprehensive Survey☆135Updated last year
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆69Updated 8 months ago
- A curated list of recent and past chart understanding work based on our IEEE TKDE survey paper: From Pixels to Insights: A Survey on Auto…☆216Updated 2 months ago
- This repository is maintained to release dataset and models for multimodal puzzle reasoning.☆101Updated 6 months ago
- Code for ACL2024 paper - Adversarial Preference Optimization (APO).☆56Updated last year
- [NeurIPS 2024] CharXiv: Charting Gaps in Realistic Chart Understanding in Multimodal LLMs☆124Updated 4 months ago
- ☆207Updated 6 months ago