An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
☆85Mar 4, 2026Updated this week
Alternatives and similar repositories for ABLkit
Users that are interested in ABLkit are comparing it to the libraries listed below
Sorting:
- A minimal example of Abductive Learning☆18Dec 6, 2023Updated 2 years ago
- Code and Data for DeepLog system☆19Feb 16, 2023Updated 3 years ago
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆27May 12, 2025Updated 9 months ago
- Code for the paper 'Monte Carlo Tree Search for Asymmetric Trees'☆12May 24, 2018Updated 7 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆24Oct 3, 2025Updated 5 months ago
- ☆14Jun 18, 2023Updated 2 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 4 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 7 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆16Jun 5, 2018Updated 7 years ago
- ☆14Updated this week
- Princeton WordNet Interface based on Angular.js and Rust☆15Jan 23, 2026Updated last month
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 5 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Jun 30, 2023Updated 2 years ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆59Jan 26, 2024Updated 2 years ago
- ☆23Apr 28, 2023Updated 2 years ago
- Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution☆26Mar 18, 2021Updated 4 years ago
- An inductive logic programming system☆273Updated this week
- ☆27Feb 11, 2026Updated 3 weeks ago
- ☆29Sep 14, 2015Updated 10 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated last month
- ☆33Sep 29, 2025Updated 5 months ago
- ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification☆30Mar 10, 2020Updated 5 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago