asaparov / grammarLinks
Implementation of generative semantic grammar.
☆16Updated 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.☆30Updated 3 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆17Updated 7 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 6 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 3 years ago
- ☆44Updated 2 years ago
- Semantic Parser with Execution☆12Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Differentiable Forth Interpreter☆74Updated 8 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- ☆15Updated 7 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆57Updated 4 months ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 4 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- Minimum Description Length Recurrent Neural Networks☆18Updated 2 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months 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…☆32Updated 2 years ago
- List of awesome JAX resources☆13Updated 3 years ago
- Program Synthesis☆146Updated 4 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆32Updated 3 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Updated 3 years ago
- Information geometry and its extension information topology☆11Updated 8 years ago
- ☆18Updated 3 years ago