Strong-AI-Lab / A-Neural-Symbolic-Paradigm
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
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆14Updated 3 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Automated Storytelling via Causal, Commonsense Plot Ordering☆51Updated 4 years ago
- Goal driven language generation using knowledge graph A2C agents☆60Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 7 months ago
- Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)☆14Updated 3 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆25Updated 4 years ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages. (NeurIPS…☆20Updated 3 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆14Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆76Updated 2 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆51Updated 2 years ago
- ☆21Updated 3 years ago
- This repo contains code for the paper "Psychologically-informed chain-of-thought prompts for metaphor understanding in large language mod…☆14Updated last year
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 5 years ago
- This repository contains the source code of the EMNLP 2020 paper Interactive Fiction Game Playing as Multi-Paragraph Reading Comprehensio…☆20Updated 4 years ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆23Updated last year
- RiddleSense: Reasoning about Riddle Questions Featuring Linguistic Creativity and Commonsense Knowledge☆14Updated 3 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆15Updated 3 years ago
- ☆38Updated 3 years ago
- Exploring Few-Shot Adaptation of Language Models with Tables☆23Updated 2 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task☆41Updated last month
- The data and the PyTorch implementation for the models and experiments in the paper "Language Model Decoding as Likelihood–Utility Alignm…☆14Updated last year
- Dataset and documentation for paper on explaining solutions to physical reasoning tasks (ESPRIT))☆21Updated 3 years ago
- Data and Code for StructuredRegex.☆13Updated last year