haldai / ABL_minimal

Related projects ⓘ

Alternatives and complementary repositories for ABL_minimal

• AbductiveLearning / ABLkit
  An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…
  ☆48Updated 2 months ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆11Updated last year
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆113Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆20Updated 6 months ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 6 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆37Updated last year
• sungsoo-ahn / learning_what_to_defer
  ☆22Updated 3 years ago
• logictensornetworks / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆24Updated last month
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆41Updated 2 years ago
• azreasoners / NeurASP
  ☆40Updated last year
• LJSthu / Kernelized-HRM
  The code for our NeurIPS 2021 paper "Kernelized Heterogeneous Risk Minimization".
  ☆12Updated 3 years ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆62Updated 6 months ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• april-tools / gekcs
  How to Turn Your Knowledge Graph Embeddings into Generative Models
  ☆44Updated 4 months ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆39Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 5 months ago
• zju-vipa / awesome-neural-trees
  Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"
  ☆78Updated last year
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆19Updated last year
• yixinwang / representation-causal-public
  ☆43Updated 2 years ago
• ema-marconato / reasoning-shortcuts
  Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
  ☆16Updated 8 months ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆82Updated 3 months ago
• ilaspltd / ILASP-releases
  ☆35Updated this week
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆16Updated 3 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated last year
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆32Updated 6 months ago
• ondrejbohdal / evograd
  Official PyTorch implementation of "EvoGrad: Efficient Gradient-Based Meta-Learning and Hyperparameter Optimization"
  ☆21Updated 3 years ago
• nuric / pix2rule
  From pixels to symbolic rule learning
  ☆12Updated 3 years ago
• RUNCSP / RUN-CSP
  ☆9Updated last year
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 2 years ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆45Updated last year