Alternatives and similar repositories for Neural-Natural-Logic

Users that are interested in Neural-Natural-Logic are comparing it to the libraries listed below

• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated 2 years ago
• INK-USC / FaiRR
  FaiRR: Faithful and Robust Deductive Reasoning over Natural Language (ACL 2022)
  ☆14Updated 3 years ago
• utahnlp / layer_augmentation
  Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
  ☆44Updated 4 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 5 years ago
• CoderPat / learning-scaffold
  This is the official implementation for the paper "Learning to Scaffold: Optimizing Model Explanations for Teaching"
  ☆19Updated 3 years ago
• atticusg / MultiplyQuantifiedData
  ☆10Updated 5 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 3 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated 10 months ago
• swarnaHub / ExplaGraphs
  [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning
  ☆12Updated 2 years ago
• ronentk / TextLabs
  Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System
  ☆9Updated last year
• xiye17 / EvalQAExpl
  Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.
  ☆18Updated 4 years ago
• utahnlp / consistency
  Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
  ☆30Updated 4 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• princeton-nlp / rationale-robustness
  NAACL 2022: Can Rationalization Improve Robustness? https://arxiv.org/abs/2204.11790
  ☆27Updated 2 years ago
• utahnlp / knowledge_infotabs
  Repository containing code for the NAACL 2021 paper (Incorporating External Knowledge to Enhance Tabular Reasoning)
  ☆17Updated 4 years ago
• allenai / modularqa
  Code for ModularQA
  ☆28Updated 4 years ago
• shrimai / Focused-Attention-Improves-Document-Grounded-Generation
  ☆21Updated 3 years ago
• INK-USC / NumerSense
  The data and code for NumerSense (EMNLP2020)
  ☆19Updated 2 years ago
• dykang / xslue
  ACL 2021 paper "Style is NOT a single variable: Case Studies for Cross-Style Language Understanding " by Dongyeop Kang and Eduard Hovy
  ☆14Updated 4 years ago
• xiye17 / StructuredRegex
  Data and Code for StructuredRegex.
  ☆14Updated last year
• norakassner / BERT-kNN
  ☆23Updated 4 years ago
• swiseman / neighbor-splicing
  ☆12Updated 3 years ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• Yale-LILY / FOLIO
  ☆129Updated last year
• sustcsonglin / TN-PCFG
  source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…
  ☆50Updated 4 months ago
• czyssrs / Logic2Text
  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"
  ☆71Updated 2 years ago
• lil-lab / bandit-qa
  Code for the paper "Simulating Bandit Learning from User Feedback for Extractive Question Answering".
  ☆18Updated 2 years ago
• idiap / g2g-transformer
  Pytorch implementation of “Recursive Non-Autoregressive Graph-to-Graph Transformer for Dependency Parsing with Iterative Refinement”
  ☆62Updated 4 years ago
• zhaoyanpeng / xcfg
  X (weighted / probabilistic) Context-Free Grammars
  ☆25Updated last year