spike-imperial / FastLAS
☆19Updated 2 months ago
Alternatives and similar repositories for FastLAS:
Users that are interested in FastLAS are comparing it to the libraries listed below
- ☆37Updated 5 months ago
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- Experimentation framework for Popper☆22Updated 11 months ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- Code for 'Emergent Symbols through Binding in External Memory'.☆20Updated last year
- Language-annotated Abstraction and Reasoning Corpus☆86Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 10 months ago
- From pixels to symbolic rule learning☆12Updated 3 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆51Updated 3 years ago
- ☆44Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆107Updated 6 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆77Updated 3 years ago
- ☆34Updated 3 months ago
- ☆12Updated 2 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 4 years ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆19Updated 2 months ago
- Scalable training and inference for Probabilistic Circuits☆57Updated 2 months ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆19Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆56Updated last month
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆55Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆26Updated 3 years ago