babble: Learning Better Abstractions with E-Graphs and Anti-unification
POPL'23, 2023. [All Versions]. This paper proposes library learning modulo theory (LLMT), a new library learning algorithm that additionally takes as input an equational theory for a given problem domain. LLMT uses e-graphs and equality saturation to compactly represent the…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
LogiCode: An LLM-Driven Framework for Logical Anomaly Detection ieeexplore.ieee.org
IEEE Transactions on Automation Science and Engineering, 2024. [All Versions]. This paper presents LogiCode, a novel framework that leverages Large Language Models (LLMs) for identifying logical anomalies in industrial settings, moving beyond the traditional focus on structural…
-
-
-
Learning Higher-Order Logic Programs through Abstraction and Invention andrewcropper.com
IJCAI'16, 2016. [All Versions].
-
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks arxiv.org
AAAI Spring Symposium Series 2023 on Computational Scientific Discovery, 2023. [All Versions]. [Extended Abstract]. [Slides]. This work introduces a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP) that performs abductive logical reasoning…
-
Meta-interpretive learning: application to grammatical inference doc.ic.ac.uk
Machine Learning, 2014. [All Versions]. Stephen Muggleton's original paper on Meta-Interpretive Learning (MIL).
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “POPL'23, 2023. [All Versions]. This paper proposes library learning modulo theory (LLMT), a new library learning algorithm that additionally takes as input an equational theory for a given problem domain. LLMT uses e-graphs and equality saturation to compactly represent the…”