The implement of geometric solver PGPSNet
☆30Jan 30, 2025Updated last year
Alternatives and similar repositories for PGPS
Users that are interested in PGPS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆59Jun 3, 2026Updated last month
- Formal geometric problem solver based on FormalGeo.☆19Apr 18, 2024Updated 2 years ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 10 months ago
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆49Jan 25, 2025Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆178Mar 29, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.☆76Jan 10, 2022Updated 4 years ago
- [AAAI 2025]Math-PUMA: Progressive Upward Multimodal Alignment to Enhance Mathematical Reasoning☆45Apr 14, 2025Updated last year
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated 10 months ago
- [ACL 2026 Main Conference] Paper list for the survey "A Survey of Deep Learning for Geometry Problem Solving"☆36Sep 14, 2025Updated 9 months ago
- This is the Repository for Geometry Problem Solving Method Evaluation☆27Oct 8, 2024Updated last year
- Resources of deep learning for mathematical reasoning (DL4MATH).☆374Dec 22, 2023Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆26Jun 26, 2026Updated last week
- ☆10Sep 20, 2022Updated 3 years ago
- A Multi Agent Auction System developed in JADE☆14Dec 16, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Automated generation of planar geometry olympiad problems☆108May 3, 2026Updated 2 months ago
- The implementation of FINER-MLLM, which is accepted by MM2024.☆18Oct 8, 2024Updated last year
- Official code of *Virgo: A Preliminary Exploration on Reproducing o1-like MLLM*☆20May 27, 2025Updated last year
- Template for Makefile based SysY compiler projects.☆11Jun 16, 2022Updated 4 years ago
- Code of ACM MM 2023 Paper: A Symbolic Characters Aware Model for Solving Geometry Problems☆16Dec 27, 2023Updated 2 years ago
- Code for the "Long Context Needs Some R&R" paper.☆12Mar 11, 2024Updated 2 years ago
- EANN(Pytorch)☆10Mar 12, 2022Updated 4 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- ☆17Jan 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Paper collections of multi-modal LLM for Math/STEM/Code.☆144May 17, 2026Updated last month
- VIA modification for sign language annotation☆18Apr 30, 2021Updated 5 years ago
- PHOENIX: a tool to infer biologically informed NeuralODEs describing genome-wide regulatory dynamics☆22May 8, 2024Updated 2 years ago
- [CVPR 2024] Context-Guided Spatio-Temporal Video Grounding☆67Jun 28, 2024Updated 2 years ago
- Code and data for paper "Large language models can rate news outlet credibility"☆13Aug 10, 2024Updated last year
- ☆11Jan 16, 2025Updated last year
- Frontend of https://bbchallenge.org☆21Jul 1, 2026Updated last week
- ☆49May 25, 2025Updated last year
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fast and memory-efficient exact attention☆20Jul 22, 2024Updated last year
- ☆10Apr 24, 2022Updated 4 years ago
- Optimization Case Studies: Generic Time Scheduling Problem (GTSP), Resource-Constrained Project Scheduling Problem (RCPSP) with Pulse Var…☆11Nov 7, 2018Updated 7 years ago
- ☆18Sep 22, 2024Updated last year
- Code of Face-MagNet that was published in WACV18☆30Jul 18, 2018Updated 7 years ago
- Code for AAAI 2021 long paper Learning from Crowds by Modeling Common Confusions.☆11Feb 6, 2021Updated 5 years ago
- This is the source code of IJCNN 2023 paper TieFake: Title-Text Similarity and Emotion-Aware Fake News Detection (TieFake).☆16Dec 21, 2023Updated 2 years ago