asaparov / grammarLinks
Implementation of generative semantic grammar.
☆17Updated 3 years ago
Alternatives and similar repositories for grammar
Users that are interested in grammar are comparing it to the libraries listed below
Sorting:
- Semantic parser induction using a generative model of grammar.☆29Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Updated 4 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆26Updated 2 years ago
- Graph-based Deep Q Network for Web Navigation☆47Updated 6 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Semantic Parser with Execution☆12Updated 7 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆54Updated 3 weeks ago
- ☆15Updated 6 years ago
- Converter from UD-trees to BART representation☆36Updated last year
- Goal driven language generation using knowledge graph A2C agents☆60Updated 5 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated 2 months ago
- Program Synthesis☆145Updated 4 years ago
- ☆43Updated 2 years ago
- Probabilistic Neural Programming☆75Updated 6 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Updated 2 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Updated 2 years ago
- Automated Storytelling via Causal, Commonsense Plot Ordering☆52Updated 5 years ago
- ☆42Updated 8 years ago
- ☆37Updated 9 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆17Updated 2 years ago
- An abductive reasoning engine written in C++.☆12Updated 6 years ago