lupantech / InterGPSLinks
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
☆171Updated 9 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☆33Updated 3 years ago
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆72Updated 4 years ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆269Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆177Updated 7 months ago
- Official github repo of G-LLaVA☆148Updated 10 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆150Updated last year
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆108Updated 7 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆370Updated 2 years ago
- ☆340Updated 7 months ago
- The implement of geometric solver PGPSNet☆29Updated 11 months ago
- ☆166Updated last year
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆328Updated last year
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆147Updated last year
- Reference implementation for Token-level Direct Preference Optimization(TDPO)☆151Updated 10 months ago
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆350Updated 3 months ago
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆34Updated last year
- MWPToolkit is an open-source framework for math word problem(MWP) solvers.☆165Updated 3 years ago
- Our code will be public soon .☆27Updated 2 years ago
- ☆29Updated last year
- [ICLR'24 spotlight] Tool-Augmented Reward Modeling☆52Updated 7 months ago
- ☆42Updated last year
- Official Repository of MMLONGBENCH-DOC: Benchmarking Long-context Document Understanding with Visualizations☆117Updated 3 months ago
- Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".☆163Updated 2 years ago
- Resources for the Enigmata Project.☆74Updated 4 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆76Updated 3 months ago
- The code and data for the paper JiuZhang3.0☆49Updated last year
- ☆215Updated 10 months ago
- ☆102Updated 2 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆32Updated 3 weeks ago
- The official repository of the Omni-MATH benchmark.☆91Updated last year