Geometry Question Solver (GeoS)
☆176Oct 17, 2017Updated 8 years ago
Alternatives and similar repositories for geosolver
Users that are interested in geosolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆173Mar 29, 2025Updated last year
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆59Dec 18, 2024Updated last year
- A natural language word problem solver written in Python☆38Feb 28, 2014Updated 12 years ago
- ☆37Jan 22, 2018Updated 8 years ago
- ☆10Oct 6, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14May 28, 2019Updated 6 years ago
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆15Sep 23, 2025Updated 6 months ago
- ☆19May 14, 2024Updated last year
- Java Geometry Expert☆48Feb 1, 2026Updated 2 months ago
- phonegap/cordova plugin org.apache.cordova.camera allow the user to crop the image function available.☆11Mar 30, 2014Updated 12 years ago
- ☆25Aug 5, 2021Updated 4 years ago
- A platform which solves maths word problems in English language☆45Feb 20, 2018Updated 8 years ago
- Source code for domain classification (scholar or non-scholar) of a web query.☆11May 31, 2016Updated 9 years ago
- Math word problems sovler with equation normalization published in EMNLP 2018☆44Apr 25, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Aristo mini is a light-weight question answering system that can quickly evaluate Aristo science questions with an evaluation web server …☆95Oct 31, 2018Updated 7 years ago
- Implementation of NAACL 2019 paper "Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problem"☆46Apr 11, 2019Updated 7 years ago
- Code for replicating results in our EDM2016 paper☆59Jun 9, 2016Updated 9 years ago
- ☆32Aug 31, 2021Updated 4 years ago
- This is the Repository for Geometry Problem Solving Method Evaluation☆26Oct 8, 2024Updated last year
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- Intrinsic evaluation of word vectors☆76Jan 23, 2018Updated 8 years ago
- Arithmetic word problem solver☆46Oct 3, 2024Updated 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.
- Code to compute the Stein discrepancy between a sample distribution and its target☆17Jul 17, 2017Updated 8 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Jul 25, 2024Updated last year
- A algebraic word problem dataset, with multiple choice questions annotated with rationales.☆333Nov 2, 2017Updated 8 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆384Nov 21, 2022Updated 3 years ago
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 14 years ago
- Code for the paper ``Text2Math: End-to-end Parsing Text into Math Expressions" accepted by EMNLP 2019☆16Aug 20, 2019Updated 6 years ago
- Using Deep Learning Models to convert simple Math Word Problems to their corresponding Equations☆17Dec 21, 2019Updated 6 years ago
- 😎 Better Naver blog browsing☆10Jan 8, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code for "Learning Affordance Landscapes for Interaction Exploration in 3D Environments" (NeurIPS 20)☆38Jul 6, 2023Updated 2 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆242Aug 22, 2025Updated 7 months ago
- ☆12Dec 24, 2020Updated 5 years ago
- ☆14Jul 15, 2025Updated 9 months ago
- Interact with remote git checkouts using Fork, and more!☆13Oct 22, 2024Updated last year
- Visaul Question Generation as Dual Task of Visual Question Answering (PyTorch Version)☆82Jun 15, 2018Updated 7 years ago
- Question Answering via Integer Programming (TableILP)☆28Apr 22, 2016Updated 9 years ago