feng-yufei / Neural-Natural-LogicLinks
Implementation of the first neural natural logic paper on natural language inference
☆11Updated 2 years ago
Alternatives and similar repositories for Neural-Natural-Logic
Users that are interested in Neural-Natural-Logic are comparing it to the libraries listed below
Sorting:
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 5 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆54Updated 2 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…☆50Updated 3 months ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling☆16Updated 3 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 4 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning☆12Updated 2 years ago
- Source Code for "Teaching Machine Comprehension with Compositional Explanations" (Findings of EMNLP 2020)☆11Updated 4 years ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- ☆10Updated 5 years ago
- Code for NAACL 2022 paper "Reframing Human-AI Collaboration for Generating Free-Text Explanations"☆31Updated 2 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 3 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆35Updated 5 years ago
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 5 years ago
- ☆43Updated 2 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Updated 10 months ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Updated last month
- Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)☆76Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.☆18Updated 4 years ago
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- ☆14Updated 4 years ago
- ☆128Updated last year
- Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.☆44Updated 4 years ago
- Code for paper "Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?"☆22Updated 4 years ago