asaparov / grammarLinks
Implementation of generative semantic grammar.
☆18Updated 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.☆31Updated 3 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆19Updated 5 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- Semantic Parser with Execution☆12Updated 7 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆17Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 weeks ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 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 2 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 2 months ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆35Updated 2 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 8 months ago
- ☆44Updated 2 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Converter from UD-trees to BART representation☆36Updated last year
- A library for manipulating DMRS structures☆14Updated 4 years ago
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆27Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated last month
- Bayesian Assessment of Hypotheses☆25Updated 2 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Updated 3 years ago
- Program Synthesis☆145Updated 4 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated last year
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- A framework for graph-based dependency parsing.☆17Updated 3 years ago