An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
☆95May 25, 2026Updated last month
Alternatives and similar repositories for ABLkit
Users that are interested in ABLkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal example of Abductive Learning☆19Dec 6, 2023Updated 2 years ago
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆33May 12, 2025Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- Handwritten Equations Decipherment with Abductive Learning☆102Jan 31, 2024Updated 2 years ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆25Oct 3, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 8 months 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
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 4 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆11Feb 19, 2023Updated 3 years ago
- ☆10Oct 28, 2024Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- ☆14Apr 24, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- An inductive logic programming system☆303Jun 15, 2026Updated 2 weeks ago
- ☆16Jun 9, 2026Updated 3 weeks ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆62Jan 26, 2024Updated 2 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆55Sep 17, 2025Updated 9 months ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 4 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution☆27Mar 18, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 4 years ago
- ☆16May 17, 2024Updated 2 years ago
- ☆10Dec 28, 2023Updated 2 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 10 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- ID3 & C4.5 only for test☆16Sep 9, 2016Updated 9 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- ☆23Apr 28, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jun 18, 2023Updated 3 years ago
- A collection of neuro-symbolic systems, papers and videos☆42Jan 12, 2026Updated 5 months ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Metagol - an inductive logic programming system☆210Sep 13, 2021Updated 4 years ago
- logic programming with SPARQL☆48Jan 16, 2023Updated 3 years ago
- 一个将小说文本转换为漫画视频的Web应用，支持多种漫画风格、AI配音和背景音乐☆28May 28, 2025Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Aug 18, 2024Updated last year