Alternatives and similar repositories for ABLkit:

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

• haldai / ABL_minimal
  A minimal example of Abductive Learning
  ☆12Updated last year
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆18Updated last year
• Learnware-LAMDA / Beimingwu
  Beimingwu is the first systematic open-source implementation of the learnware dock system, providing a preliminary research platform for …
  ☆111Updated 6 months ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆64Updated 9 months ago
• Learnware-LAMDA / Learnware
  Based on the learnware paradigm, the learnware package supports the entire process including the submission, usability testing, organizat…
  ☆97Updated last month
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆207Updated 5 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated 8 months ago
• li-lf / PyNOL
  A Python Package for Non-stationary Online Learning (PyNOL)
  ☆29Updated 9 months ago
• ema-marconato / reasoning-shortcuts
  Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
  ☆17Updated 10 months ago
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆12Updated last month
• ilaspltd / ILASP-releases
  ☆37Updated 2 months ago
• albertqjiang / draft_sketch_prove
  ☆63Updated last year
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 8 months ago
• anpwu / Awesome-Causal-LLM
  ☆24Updated 2 months ago
• zju-vipa / awesome-neural-trees
  Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"
  ☆79Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆161Updated 4 months ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆34Updated 11 months ago
• 12wang3 / rrl
  The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learning for Interpretable Classification" and TPAMI paper "Learning I…
  ☆114Updated 10 months ago
• kevinsbello / dagma
  A Python 3 package for learning Bayesian Networks (DAGs) from data. Official implementation of the paper "DAGMA: Learning DAGs via M-matr…
  ☆108Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆29Updated 7 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆25Updated last year
• cmu-phil / example-causal-datasets
  Example causal datasets with consistent formatting and ground truth
  ☆76Updated last year
• pylon-lib / pylon
  ☆123Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 3 years ago
• LavinWong / Fairness-in-Large-Language-Models
  Fairness in LLMs resources
  ☆13Updated last month
• azreasoners / NeurASP
  ☆41Updated last year
• ML-KULeuven / deepstochlog
  ☆26Updated 11 months ago
• wiio12 / POETRY
  Code for the paper: Proving Theorems Recursively
  ☆11Updated 7 months ago
• larslorch / avici
  Amortized Inference for Causal Structure Learning, NeurIPS 2022
  ☆61Updated 2 weeks ago