mlsanityData to 14 Oct 2026

Learning big logical rules by joining small rules

arXiv 2401.16215 ↗First posted 29 Jan 2024cs.LG cs.AI cs.LOcited by 4

Not on the map. Why?

Abstract (arXiv)

A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We implement our approach in a constraint-driven system and use constraint solvers to efficiently join rules. Our experiments on many domains, including game playing and drug design, show that our approach can (i) learn rules with more than 100 literals, and (ii) drastically outperform existing approaches in terms of predictive accuracies.

Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). Builds on 14 of its 47 references that are in the map. First posted on arXiv 29 Jan 2024.

Builds on

14 of 47 references.

References · 14

  1. 2017Learning Explanatory Rules from Noisy Datacited by 211
  2. 2017RobustFill: Neural Program Learning under Noisy I/Ocited by 126
  3. 2018Leveraging Grammar and Reinforcement Learning for Neural Program Synthesiscited by 84
  4. 2023LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representationscited by 82
  5. 2020Learning programs by learning from failurescited by 73
  6. 2021Inductive logic programming at 30cited by 47
  7. 2019Making sense of sensory inputcited by 29
  8. 2019Synthesizing Datalog Programs Using Numerical Relaxationcited by 23
  9. 2019Inductive general game playingcited by 18
  10. 2022CrossBeam: Learning to Search in Bottom-Up Program Synthesiscited by 18
  11. 2023Learning MDL logic programs from noisy datacited by 15
  12. 2019Learning Relational Representations with Auto-encoding Logic Programscited by 13
2 more
  1. 2022Learning logic programs by combining programscited by 7
  2. 2019Towards meta-interpretive learning of programming language semanticscited by 5

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2024: 1; 2025: 2; 2026: 1.

4 papers.

  1. 2024From Code to Play: Benchmarking Program Search for Games Using Large Language Modelscited by 5
  2. 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Modelcited by 2
  3. 2025Honey, I shrunk the hypothesis space (through logical preprocessing)cited by 0
  4. 2026Visual Perceptual to Conceptual First-Order Rule Learning Networkscited by 0