Alternatives and similar repositories for A-Neural-Symbolic-Paradigm

Users that are interested in A-Neural-Symbolic-Paradigm are comparing it to the libraries listed below

• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• eric11eca / NeuralLog
  A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…
  ☆15Updated 4 years ago
• Jungyhuk / plotcoder
  ☆21Updated 4 years ago
• feng-yufei / Neural-Natural-Logic
  Implementation of the first neural natural logic paper on natural language inference
  ☆11Updated 3 years ago
• rajammanabrolu / C2PO
  Automated Storytelling via Causal, Commonsense Plot Ordering
  ☆52Updated 5 years ago
• neulab / incremental_tree_edit
  Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)
  ☆41Updated 4 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• liqing-ustc / NGS
  Neural-Grammar-Symbolic Learning with Back-Search
  ☆55Updated last year
• castorini / transformers-arithmetic
  ☆38Updated 4 years ago
• rajammanabrolu / KG-A2C
  Goal driven language generation using knowledge graph A2C agents
  ☆60Updated 5 years ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 3 years ago
• sustcsonglin / TN-PCFG
  source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…
  ☆51Updated 7 months ago
• xingdi-eric-yuan / GATA-public
  ☆37Updated last year
• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated 2 years ago
• epfl-dlab / understanding-decoding
  The data and the PyTorch implementation for the models and experiments in the paper "Language Model Decoding as Likelihood–Utility Alignm…
  ☆14Updated 2 years ago
• wellecks / naturalproofs
  NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
  ☆133Updated 3 years ago
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 4 years ago
• HiroakiMikami / mlprogram
  PyTorch library for synthesizing programs from natural language
  ☆18Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated last year
• ischlag / TP-Transformer
  ☆49Updated 4 years ago
• Eric-Wallace / trickme-interface
  Code for the 2019 TACL Paper "Trick Me If You Can: Human-in-the-loop Generation of Adversarial Question Answering Examples"
  ☆36Updated 6 years ago
• neulab / external-knowledge-codegen
  Code and data for ACL20 paper "Incorporating External Knowledge through Pre-training for Natural Language to Code Generation"
  ☆97Updated last month
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆44Updated 3 years ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 2 years ago
• czyssrs / Logic2Text
  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"
  ☆71Updated 2 years ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated last year