Inductive Logic Programming

Also known as ILP

Ask about this topic

Momentum

0 papers in the last four weeks, against 2 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 16

All topics
CardsList

  1. Teaching a Minimalist Machine to Discover Recursive Programs for Arithmetic

    Oct 5, 2026Dominik Magiera, Christiane Wiebel-Herboth, Frank JäkelCognitive ModelingProgram Synthesis

    Centre for Cognitive Science & Institute of Psychology, Technische Universität Darmstadt, Germany · Honda Research Institute Europe GmbH, Offenbach am Main, Germany

  2. QILP-0: Constructing Observational Declarative Twins of Quantum Circuits

    Sep 1, 2026Marina de la Cruz Echeandía, César Luis Alonso, Tony Ribeiro +1Inductive Logic Programming

    Universidad Internacional de la Rioja UNIR, Escuela Superior de Ingeniería y Tecnología, Logroño, Spain · Universidad de Oviedo, Departamento de Informática, Gijón, 33204, Spain · Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004, 44000, Nantes, France +1

  3. Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction

    Aug 11, 2026Serafim BatzoglouSymbolic ReasoningLLM-Based Program Synthesis

    Independent Researcher

  4. Hypercubes, Hyperplanes, and Constraint-Induced Complexity Collapse in Atomic Concept Learning

    Aug 3, 2026Irene TsaparaInductive Logic Programming

    National University, San Diego, United States

  5. Pretrain on Small Synthetic Data, Scale Large for Free: Symmetry-Aware Foundation Model for Logic Rule Induction

    Aug 1, 2026Yin Jun PhuaInterpretable MLEquivariant Neural Networks

    Institute of Science Tokyo

  6. An Unofficial FastLAS Tutorial: A Programmer's Guide

    Jul 26, 2026Fabio Aurelio D'AsaroLogic ProgrammingInductive Logic Programming

    University of Verona, Italy · University College London, United Kingdom

  7. Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming

    Jul 25, 2026Zirong Chen, Meiyi MaLogic ProgrammingReasoning Consistency in Language Models

    Department of Computer Science, Vanderbilt University, USA

  8. ADVENT: LLM-Driven Automatic Predicate Invention for ILP

    Jul 2, 2026Tingting Yu, Pei-Cing Huang, Chan Hsu +2Logic ProgrammingInductive Logic Programming

    Department of Information Management National Sun Yat-Sen University Kaohsiung, Taiwan

  9. AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming

    Jun 23, 2026Pingchuan Ma, Zhaoyu Wang, Zimo Ji +5LLM GuardrailsProgram Synthesis

    Zhejiang University of Technology · HKUST

  10. Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming

    May 26, 2026Oleh Borys, Karla StepanovaRobot Skill LearningRobotic Manipulation

    Czech Institute of Informatics, Robotics and Cybernetics, Czech Technical University in Prague.

  11. From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach

    May 20, 2026Nura Aljaafari, Danilo S. Carvalho, Andre FreitasCircuit DiscoveryMechanistic Interpretability

    Department of Computer Science, University of Manchester, United Kingdom · CRUK National Biomarker Centre, University of Manchester, United Kingdom · Idiap Research Institute, Switzerland

  12. A Foundation Model for Zero-Shot Logical Rule Induction

    May 6, 2026Yin Jun PhuaZero-Shot LearningNeuro-Symbolic Reasoning

    Institute of Science Tokyo

  13. ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming

    May 5, 2026Iman Sharifi, Peng Wei, Saber FallahLogic ProgrammingDifferentiable Programming

    Dept. of Mechanical and Aerospace Engineering, George Washington University, USA · Dept. of Mechanical Engineering Sciences, University of Surrey, UK

  14. AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents

    Apr 29, 2026Mahnoor Shahid, Hannes RotheNeuro-Symbolic AIInductive Logic Programming

    Universität Duisburg-Essen, Essen, Germany

  15. Ultra Strong Machine Learning: LLM-Generated Explanations Do Not Yet Suffice for Teaching Humans Active Learning Strategy

    Aug 31, 2025Lun Ai, Johannes Langer, Ute Schmid +1Active LearningHuman-in-the-Loop AI

    Department of Computing, Imperial College London, UK · Faculty Information Systems and Applied Computer Science, University of Bamberg, Germany

  16. Neuro-symbolic Weak Supervision: Theory and Semantics

    Mar 24, 2025Nijesh Upreti, Vaishak BelleWeakly Supervised LearningNeuro-Symbolic Reasoning

    School of Informatics, University of Edinburgh, Edinburgh, UK