seominjoon / geosolverLinks
Geometry Question Solver (GeoS)
☆175Updated 8 years ago
Alternatives and similar repositories for geosolver
Users that are interested in geosolver are comparing it to the libraries listed below
Sorting:
- A algebraic word problem dataset, with multiple choice questions annotated with rationales.☆327Updated 8 years ago
- GitXiv Competition: Replicate the findings of the Deep Q&A research paper, preferably in collaboration with others. Use library of choice…☆40Updated 10 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆381Updated 3 years ago
- Program Synthesis☆146Updated 4 years ago
- Web framework for GeoSolver☆14Updated 8 years ago
- Karel dataset for program synthesis and program induction☆79Updated 8 years ago
- Parse natural language into executable programs☆63Updated 8 years ago
- A syntactic neural model for parsing natural language to executable code☆186Updated 3 years ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆171Updated 9 months ago
- NPI(Neural Programmer-Interpreters) implementation with Keras☆244Updated 3 years ago
- in progress☆72Updated 8 years ago
- teach the computer your language☆114Updated 6 years ago
- ☆103Updated 4 years ago
- QANTA Quiz Bowl AI☆171Updated last month
- Im2Text extension to OpenNMT☆138Updated 8 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 6 years ago
- [EMNLP 2017] Code for "Natural Language Does Not Emerge 'Naturally' in Multi-Agent Dialog"☆95Updated 5 years ago
- WebNav: A New Large-Scale Task for Natural Language based Sequential Decision Making☆82Updated 8 years ago
- Cornell NLVR and NLVR2 are natural language grounding datasets. Each example shows a visual input and a sentence describing it, and is an…☆265Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- This repository provides text game simulators for research purposes.☆43Updated 6 years ago
- Data and code for SemEval 2019, Task 10: Math Question Answering☆48Updated 7 years ago
- Probabilistic Neural Programming☆75Updated 7 years ago
- A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.☆244Updated 8 years ago
- Learning to Auto-Complete using RNN Language Models☆156Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- Tensorflow implementation of "Tracking the World State with Recurrent Entity Networks" [https://arxiv.org/abs/1612.03969] by Henaff, West…☆57Updated 8 years ago
- An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521☆160Updated 10 years ago
- Arithmetic word problem solver☆45Updated last year