seominjoon / geosolverLinks
Geometry Question Solver (GeoS)
☆174Updated 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.☆331Updated 8 years ago
- Web framework for GeoSolver☆14Updated 8 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆382Updated 3 years ago
- Program Synthesis☆146Updated 4 years ago
- Parse natural language into executable programs☆63Updated 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
- teach the computer your language☆115Updated 6 years ago
- QANTA Quiz Bowl AI☆171Updated 2 months ago
- ☆103Updated 4 years ago
- Karel dataset for program synthesis and program induction☆79Updated 8 years ago
- A syntactic neural model for parsing natural language to executable code☆186Updated 3 years ago
- Im2Text extension to OpenNMT☆138Updated 8 years ago
- WebNav: A New Large-Scale Task for Natural Language based Sequential Decision Making☆82Updated 8 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Code for FormulaNet in NIPS 2017☆30Updated 7 years ago
- NPI(Neural Programmer-Interpreters) implementation with Keras☆243Updated 3 years ago
- Probabilistic Neural Programming☆75Updated 7 years ago
- SVG/Javascript-based library for creating presentations/figures☆61Updated 3 years ago
- A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.☆244Updated 8 years ago
- Arithmetic word problem solver☆45Updated last year
- ☆111Updated 7 years ago
- Data and code for SemEval 2019, Task 10: Math Question Answering☆48Updated 7 years ago
- An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521☆160Updated 10 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- This repository provides text game simulators for research purposes.☆43Updated 6 years ago
- Unsupervised Data Generated for GeoQuery and SAIL Datasets☆46Updated 9 years ago
- Diagram question answering system described in "A Diagram is Worth a Dozen Images"☆39Updated 8 years ago
- Natural Logic Inference for Common Sense Reasoning☆61Updated 7 years ago
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆40Updated 7 months ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago