AbductiveLearning / ABLkit
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
☆48Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for ABLkit
- A minimal example of Abductive Learning☆13Updated 11 months ago
- Code and Data for DeepLog system☆19Updated last year
- Beimingwu is the first systematic open-source implementation of the learnware dock system, providing a preliminary research platform for …☆105Updated 3 months ago
- Based on the learnware paradigm, the learnware package supports the entire process including the submission, usability testing, organizat…☆93Updated 2 weeks ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆132Updated 2 months ago
- Code for the paper: Proving Theorems Recursively☆11Updated 5 months ago
- ☆58Updated last year
- ☆16Updated 2 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆76Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆37Updated last year
- A Python Package for Non-stationary Online Learning (PyNOL)☆26Updated 7 months ago
- AI for Mathematics (AI4Math) paper list☆133Updated last month
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆42Updated 3 months ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆50Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆62Updated 6 months ago
- Experimentation framework for Popper☆20Updated 6 months ago
- ☆16Updated last year
- Introduction, selected papers and possible corresponding codes in our review paper "A Survey of Neural Trees"☆78Updated last year
- Welcome to the Awesome Feature Learning in Deep Learning Thoery Reading Group! This repository serves as a collaborative platform for sch…☆143Updated 2 weeks ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆32Updated 6 months ago
- OpenDataVal: a Unified Benchmark for Data Valuation in Python (NeurIPS 2023)☆86Updated 3 months ago
- 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
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆45Updated 2 weeks ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆32Updated 5 months ago
- Survey on Robust Weakly Supervised Learning☆12Updated 2 years ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆76Updated 5 months ago
- XReason - formal reasoning about explanations for ML models☆16Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆24Updated last month
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆57Updated this week
- A repository for summaries of recent explainable AI/Interpretable ML approaches☆65Updated last month