seominjoon / geosolver
Geometry Question Solver (GeoS)
☆170Updated 7 years ago
Alternatives and similar repositories for geosolver:
Users that are interested in geosolver are comparing it to the libraries listed below
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆148Updated last month
- Web framework for GeoSolver☆14Updated 8 years ago
- A algebraic word problem dataset, with multiple choice questions annotated with rationales.☆314Updated 7 years ago
- Parse LaTeX math expressions☆396Updated 5 years ago
- NPI(Neural Programmer-Interpreters) implementation with Keras☆243Updated 2 years ago
- Tensorflow port of im2markup project☆128Updated 6 years ago
- TensorFlow implementation of "Tracking the World State with Recurrent Entity Networks".☆273Updated 7 years ago
- Data and code for SemEval 2019, Task 10: Math Question Answering☆48Updated 6 years ago
- Arithmetic word problem solver☆42Updated 7 months ago
- GitXiv Competition: Replicate the findings of the Deep Q&A research paper, preferably in collaboration with others. Use library of choice…☆40Updated 9 years ago
- Im2Text extension to OpenNMT☆138Updated 7 years ago
- ☆37Updated 7 years ago
- Neural module networks☆401Updated 7 years ago
- ☆21Updated 3 years ago
- Mixed Incremental Cross-Entropy REINFORCE ICLR 2016☆331Updated 8 years ago
- Code for FormulaNet in NIPS 2017☆30Updated 7 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- Recurrent neural network grammars☆187Updated 6 years ago
- QANTA Quiz Bowl AI☆171Updated this week
- Task generation for testing text understanding and reasoning☆903Updated 6 years ago
- An automated theorem prover for first-order logic.☆238Updated 3 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆380Updated 2 years ago
- A natural language word problem solver written in Python☆39Updated 11 years ago
- An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521☆156Updated 9 years ago
- Attention-based NMT with a coverage mechanism to indicate whether a source word is translated or not☆111Updated 5 years ago
- Reinforcement learning for natural language processing reading group☆310Updated 6 years ago
- This repository provides text game simulators for research purposes.☆43Updated 6 years ago
- Experiments towards neural network theorem proving☆787Updated 4 years ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆41Updated 4 months ago
- This is a comprehensive training/testing environment using the Transformer model for solving Math Word Problems. Features easy configurat…☆24Updated 5 years ago