Strong-AI-Lab / A-Neural-Symbolic-ParadigmLinks
From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
☆11Updated 2 years ago
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
Sorting:
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆14Updated 4 years ago
- ☆10Updated 4 years ago
- Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)☆14Updated 3 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 11 months ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆21Updated 3 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 5 years ago
- Data and Code for StructuredRegex.☆14Updated last year
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆24Updated 4 years ago
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 5 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Updated 4 years ago
- ☆38Updated 11 months ago
- Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"☆71Updated 2 years ago
- Automated Storytelling via Causal, Commonsense Plot Ordering☆52Updated 4 years ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- ☆43Updated 2 years ago
- ☆48Updated 6 months ago
- ☆38Updated 4 years ago
- ☆32Updated 3 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- ☆126Updated last year
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages. (NeurIPS…☆20Updated 3 years ago
- Goal driven language generation using knowledge graph A2C agents☆60Updated 5 years ago