haldai / ABL_minimalView external linksLinks
A minimal example of Abductive Learning
☆18Dec 6, 2023Updated 2 years ago
Alternatives and similar repositories for ABL_minimal
Users that are interested in ABL_minimal are comparing it to the libraries listed below
Sorting:
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆84Jun 19, 2025Updated 7 months ago
- 🤣咦？好像这所学校也不错>v<☆17Sep 25, 2020Updated 5 years ago
- An inductive logic programming system☆264Feb 2, 2026Updated last week
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆31Nov 27, 2023Updated 2 years ago
- Self-hosted Todolist app written in Python☆10Apr 16, 2021Updated 4 years ago
- Evaluation Pipeline for medical tasks.☆12Updated this week
- ProxyExplainer for Graph Neural Networks☆15Oct 24, 2024Updated last year
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- ☆11Nov 8, 2023Updated 2 years ago
- Official implementation of the paper "On the Importance of Environments in Human-Robot Coordination", published in RSS 2021.☆16May 1, 2024Updated last year
- ☆10Oct 26, 2022Updated 3 years ago
- UFT: Unifying Supervised and Reinforcement Fine-Tuning☆24Jun 30, 2025Updated 7 months ago
- ☆10Nov 3, 2016Updated 9 years ago
- D3PE (Deep Data-Driven Policy Evaluation) aims to evaluation a large set of candidate policies from a fixed dataset to select best ones.☆11Jun 2, 2022Updated 3 years ago
- Repo for the walking robot's vision based navigation code☆10Jun 6, 2023Updated 2 years ago
- A scalable data preprocessing framework built on PySpark for LLM training☆21Dec 9, 2025Updated 2 months ago
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆19Feb 7, 2025Updated last year
- Official code repository for the paper: AbsPyramid: Benchmarking the Abstration Ability of Language Models with a Unified Entailment Grap…☆13Oct 30, 2024Updated last year
- Generalizing from SIMPLE to HARD Visual Reasoning: Can We Mitigate Modality Imbalance in VLMs?☆15Jun 3, 2025Updated 8 months ago
- Contains the matrix generation software and normed matrices described in "Recreating Raven's: Software for systematically generating larg…☆15Dec 4, 2023Updated 2 years ago
- ☆49Nov 11, 2023Updated 2 years ago
- code for kdd feasibiiity☆12Jul 17, 2023Updated 2 years ago
- Machine learning algorithms for many-body quantum systems. To cite this software publication: https://www.sciencedirect.com/science/artic…☆10Aug 17, 2019Updated 6 years ago
- Pytorch implementation of Multi-Mapping Image-to-Image Translation with Central Biasing Normalization☆13Jun 27, 2018Updated 7 years ago
- DNE4py is a python library that aims to run and visualize many different evolutionary algorithms with high performance using mpi4py. It a…☆10Oct 13, 2020Updated 5 years ago
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 4 years ago
- Official implementation of NeurIPS'24 Spotlight paper "Monte Carlo Tree Search based Space Transfer for Black-box Optimization".☆12Nov 28, 2024Updated last year
- ☆13Jul 24, 2021Updated 4 years ago
- ☆18Apr 10, 2025Updated 10 months ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated 8 months ago
- ☆53Aug 22, 2023Updated 2 years ago
- Manipulating semantic data within Python☆18Jan 14, 2025Updated last year
- ☆16Feb 1, 2022Updated 4 years ago
- Code implementing the experiments described in the NeurIPS 2018 paper "With Friends Like These, Who Needs Adversaries?".☆13Sep 11, 2020Updated 5 years ago
- KnowRL: Exploring Knowledgeable Reinforcement Learning for Factuality☆40Dec 1, 2025Updated 2 months ago
- Code and notebooks and data for the paper "Domain Specific Question Answering Over Knowledge Graphs Using Logical Programming and Large L…☆12Jan 23, 2024Updated 2 years ago
- Signal compression and reconstruction on complexes preserving topological features via Discrete Morse Theory☆14May 31, 2022Updated 3 years ago
- Github repo for Peifeng's internship project☆13Nov 7, 2023Updated 2 years ago
- belief rule base☆12Oct 15, 2020Updated 5 years ago