lupantech / InterGPSLinks
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
☆151Updated 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☆29Updated 2 years ago
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆62Updated 3 years ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆44Updated 5 months ago
- The implement of geometric solver PGPSNet☆26Updated 4 months ago
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆100Updated 2 weeks ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆264Updated 8 months ago
- Formal representation and solving for Euclidean plane geometry problems.☆24Updated 4 months ago
- Official github repo of G-LLaVA☆141Updated 3 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆151Updated 10 months ago
- The official repository of the Omni-MATH benchmark.☆83Updated 5 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆358Updated last year
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆129Updated 10 months ago
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆155Updated 2 weeks ago
- [ACL 2023] Solving Math Word Problems via Cooperative Reasoning induced Language Models (LLMs + MCTS + Self-Improvement)☆49Updated last year
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆61Updated 5 months ago
- This is the Repository for Geometry Problem Solving Method Evaluation☆23Updated 7 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆157Updated last year
- [NeurIPS 2024] MATH-Vision dataset and code to measure multimodal mathematical reasoning capabilities.☆107Updated 3 weeks ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆24Updated last year
- Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning☆180Updated 2 months ago
- ☆51Updated this week
- The related works and background techniques about Openai o1☆221Updated 4 months ago
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆310Updated 6 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆32Updated last year
- Advancing Language Model Reasoning through Reinforcement Learning and Inference Scaling☆104Updated 4 months ago
- ☆27Updated last year
- ☆16Updated last year
- ☆47Updated 3 months ago
- [ACL 2024] The project of Symbol-LLM☆54Updated 10 months ago
- MWPToolkit is an open-source framework for math word problem(MWP) solvers.☆163Updated 2 years ago