chen-judge / UniGeoView external linksLinks
[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
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆57Dec 18, 2024Updated last year
- ☆15Jul 22, 2024Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆26Oct 8, 2024Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆172Mar 29, 2025Updated 10 months ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆16Aug 27, 2025Updated 5 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
- Java Geometry Expert☆47Feb 1, 2026Updated last week
- Code for Research Project TLDR☆25Jul 28, 2025Updated 6 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆19Jun 12, 2025Updated 8 months ago
- Code of ACM MM 2023 Paper: A Symbolic Characters Aware Model for Solving Geometry Problems☆16Dec 27, 2023Updated 2 years ago
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆47Jan 25, 2025Updated last year
- [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.☆124Nov 25, 2025Updated 2 months ago
- ☆52Jan 19, 2023Updated 3 years ago
- Official github repo of G-LLaVA☆148Feb 20, 2025Updated 11 months ago
- ☆19Jul 15, 2022Updated 3 years ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- ☆46Jun 24, 2025Updated 7 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆370Dec 22, 2023Updated 2 years ago
- ☆23Jul 23, 2021Updated 4 years ago
- Our code will be public soon .☆27Mar 20, 2023Updated 2 years ago
- Explore what LLMs are really leanring over SFT☆28Mar 30, 2024Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆316Jan 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
- ☆36Oct 29, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 5 months ago
- [AAAI 2025]Math-PUMA: Progressive Upward Multimodal Alignment to Enhance Mathematical Reasoning☆42Apr 14, 2025Updated 10 months ago
- ☆37Jan 25, 2026Updated 2 weeks ago
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Updated this week
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆354Sep 29, 2025Updated 4 months ago
- the datasets of our paper☆11Feb 26, 2024Updated last year
- Deep Learning 2021 in School of Data Science, USTC☆12May 17, 2023Updated 2 years ago
- ☆12Dec 14, 2022Updated 3 years ago