End-to-End Differentiable Proving
☆90Nov 21, 2018Updated 7 years ago
Alternatives and similar repositories for ntp
Users that are interested in ntp are comparing it to the libraries listed below
Sorting:
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 5 years ago
- Differentiable Forth Interpreter☆74Feb 5, 2018Updated 8 years ago
- Conditional Theorem Proving☆54Apr 30, 2021Updated 4 years ago
- ☆58Jan 11, 2020Updated 6 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53May 16, 2021Updated 4 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆224Feb 12, 2019Updated 7 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- ☆111Oct 20, 2018Updated 7 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- A Learning Environment for Theorem Proving☆76Jun 21, 2022Updated 3 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- hacking on the stanford natural language inference (SNLI) corpus (in theano)☆15Aug 28, 2016Updated 9 years ago
- The official implementation of ACL 2020, "Logic-Guided Data Augmentation and Regularization for Consistent Question Answering".☆71Jul 25, 2024Updated last year
- Investigating Robustness and Interpretability of Link Prediction via Adversarial Modifications☆19Jul 20, 2020Updated 5 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆427Nov 22, 2022Updated 3 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Sep 24, 2024Updated last year
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Jul 25, 2024Updated last year
- Suite of 500 procedurally-generated NLP tasks to study language model adaptability☆21Jul 16, 2022Updated 3 years ago
- "Predict, then Interpolate: A Simple Algorithm to Learn Stable Classifiers" ICML 2021☆18Jun 1, 2021Updated 4 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Code for Injecting Logical Background Knowledge into Embeddings for Relation Extraction☆66May 9, 2016Updated 9 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆98May 3, 2024Updated last year
- This repository includes code for replicating the results in the paper "Word Ordering Without Syntax" (2016).☆21Dec 8, 2016Updated 9 years ago
- A collection of Kanren implementations in Julia☆24Oct 14, 2025Updated 4 months ago
- Rule Learning with Embedding Support☆25Aug 18, 2022Updated 3 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 11 years ago
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated 11 months ago
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- COLING 2018 Tutorial on Multilingual FrameNet: Automatic semantic role labeling for FrameNet☆25Aug 29, 2018Updated 7 years ago
- Program Synthesis☆146Mar 8, 2021Updated 4 years ago