[EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
☆33Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for UniGeo
Users that are interested in UniGeo are comparing it to the libraries listed below
Sorting:
- ☆18May 14, 2024Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆26Oct 8, 2024Updated last year
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 6 months ago
- ☆25Aug 5, 2021Updated 4 years ago
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆74Jan 10, 2022Updated 4 years ago
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- ☆13Jul 15, 2025Updated 7 months ago
- Code for Research Project TLDR☆25Jul 28, 2025Updated 7 months ago
- A unified benchmark for math reasoning☆90Jan 25, 2023Updated 3 years ago
- Code of ACM MM 2023 Paper: A Symbolic Characters Aware Model for Solving Geometry Problems☆16Dec 27, 2023Updated 2 years ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆20Jun 12, 2025Updated 8 months ago
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 3 months ago
- ☆52Jan 19, 2023Updated 3 years ago
- Official github repo of G-LLaVA☆148Feb 20, 2025Updated last year
- ☆46Jun 24, 2025Updated 8 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆371Dec 22, 2023Updated 2 years ago
- This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception o…☆28Jul 9, 2025Updated 7 months ago
- Our code will be public soon .☆27Mar 20, 2023Updated 2 years ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆184Jun 8, 2025Updated 8 months ago
- Retrieval-Augmented Theorem Provers for Lean☆317Jan 30, 2025Updated last year
- ☆38Mar 21, 2024Updated last year
- [ACL 2024] ChartAssistant is a chart-based vision-language model for universal chart comprehension and reasoning.☆132Sep 7, 2024Updated last year
- ☆37Oct 29, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 6 months ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- ☆37Jan 25, 2026Updated last month
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆355Sep 29, 2025Updated 5 months ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- Official Implementation of MDK12-Bench: A Multi-Discipline Benchmark for Evaluating Reasoning in Multimodal Large Language Models☆12Nov 1, 2025Updated 4 months ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- [CVPR 2026] Official repo for "VideoSSR: Video Self-Supervised Reinforcement Learning"☆33Nov 11, 2025Updated 3 months ago
- 生成训练文本检测数据集☆12Jul 1, 2020Updated 5 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- ☆10Oct 31, 2020Updated 5 years ago
- The MATH Dataset (NeurIPS 2021)☆1,314Sep 6, 2025Updated 6 months ago
- ☆40Jul 19, 2022Updated 3 years ago
- Seq2Tree model for Solving Math Word Problems☆147May 12, 2022Updated 3 years ago