seominjoon / geosolverLinks
Geometry Question Solver (GeoS)
☆173Updated 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.☆324Updated 8 years ago
- Program Synthesis☆145Updated 4 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- Web framework for GeoSolver☆14Updated 8 years ago
- NPI(Neural Programmer-Interpreters) implementation with Keras☆244Updated 3 years ago
- Probabilistic Neural Programming☆75Updated 6 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…☆380Updated 2 years ago
- teach the computer your language☆113Updated 6 years ago
- Parse natural language into executable programs☆63Updated 8 years ago
- SVG/Javascript-based library for creating presentations/figures☆60Updated 3 years ago
- End-to-End Differentiable Proving☆90Updated 6 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 5 years ago
- in progress☆72Updated 7 years ago
- A syntactic neural model for parsing natural language to executable code☆186Updated 2 years ago
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆40Updated 3 months ago
- ☆103Updated 3 years ago
- A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.☆244Updated 7 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆147Updated 5 years ago
- Unsupervised Data Generated for GeoQuery and SAIL Datasets☆46Updated 8 years ago
- TensorFlow implementation of "Tracking the World State with Recurrent Entity Networks".☆273Updated 8 years ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆165Updated 7 months ago
- Im2Text extension to OpenNMT☆138Updated 8 years ago
- ☆111Updated 7 years ago
- Attempt at implementing system described in "Neural Turing Machines." by Graves, Alex, Greg Wayne, and Ivo Danihelka. (http://arxiv.org/a…☆461Updated 9 years ago
- Mixed Incremental Cross-Entropy REINFORCE ICLR 2016☆332Updated 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
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521☆160Updated 9 years ago