Alternatives and similar repositories for FastLAS

Users that are interested in FastLAS are comparing it to the libraries listed below

• ilaspltd / ILASP-releases
  ☆37Updated 9 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆25Updated 2 years ago
• cognitiveailab / neurosymbolic
  A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"
  ☆19Updated 2 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆21Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆91Updated 2 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆254Updated last year
• azreasoners / NeurASP
  ☆47Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 2 weeks ago
• RichardEvans / apperception
  ☆80Updated 4 years ago
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated last month
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last month
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆30Updated last year
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆38Updated 5 years ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• trishullab / near
  ☆24Updated 4 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆48Updated 3 months ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated last week
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆64Updated 6 months ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆77Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated 2 weeks ago
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆92Updated 2 years ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆35Updated last year
• ai-systems / DILP-Core
  Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…
  ☆52Updated 4 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆123Updated 10 months ago