{"total":61,"rows":[{"id":"2102.10556","title":"Inductive logic programming at 30","created":"2021-02-21","cited_by_count":47,"area":null},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23,"area":null},{"id":"2203.10452","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","created":"2022-03-20","cited_by_count":18,"area":null},{"id":"2308.09393","title":"Learning MDL logic programs from noisy data","created":"2023-08-18","cited_by_count":15,"area":null},{"id":"2112.14603","title":"Learning Higher-Order Programs without Meta-Interpretive Learning","created":"2021-12-29","cited_by_count":14,"area":null},{"id":"2104.14426","title":"Predicate Invention by Learning From Failures","created":"2021-04-29","cited_by_count":9,"area":null},{"id":"2106.11417","title":"Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming","created":"2021-06-21","cited_by_count":8,"area":null},{"id":"2105.02486","title":"Towards General Natural Language Understanding with Probabilistic Worldbuilding","created":"2021-05-06","cited_by_count":7,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2206.01614","title":"Learning logic programs by combining programs","created":"2022-06-01","cited_by_count":7,"area":null},{"id":"2302.00277","title":"Anti-unification and Generalization: A Survey","created":"2023-02-01","cited_by_count":7,"area":null},{"id":"2310.17306","title":"FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language","created":"2023-10-26","cited_by_count":7,"area":null},{"id":"2408.12212","title":"Relational decomposition for program synthesis","created":"2024-08-22","cited_by_count":6,"area":null},{"id":"2201.03702","title":"Learning Logic Programs From Noisy Failures","created":"2021-12-28","cited_by_count":5,"area":null},{"id":"2301.07629","title":"Generalisation Through Negation and Predicate Invention","created":"2023-01-18","cited_by_count":5,"area":null},{"id":"2408.11367","title":"Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation","created":"2024-08-21","cited_by_count":5,"area":null},{"id":"2110.08245","title":"Rule Induction in Knowledge Graphs Using Linear Programming","created":"2021-10-15","cited_by_count":4,"area":null},{"id":"2202.09806","title":"Learning logic programs by discovering where not to search","created":"2022-02-20","cited_by_count":4,"area":null},{"id":"2208.06032","title":"CORNET: Learning Table Formatting Rules By Example","created":"2022-08-11","cited_by_count":4,"area":null},{"id":"2401.16215","title":"Learning big logical rules by joining small rules","created":"2024-01-29","cited_by_count":4,"area":null},{"id":"2106.07464","title":"Meta-Interpretive Learning as Metarule Specialisation","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2205.07129","title":"Efficient lifting of symmetry breaking constraints for complex combinatorial problems","created":"2022-05-14","cited_by_count":2,"area":null},{"id":"2208.03238","title":"Learning programs with magic values","created":"2022-08-05","cited_by_count":2,"area":null},{"id":"2210.00764","title":"Relational program synthesis with numerical reasoning","created":"2022-10-03","cited_by_count":2,"area":null},{"id":"2501.07507","title":"Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback","created":"2025-01-13","cited_by_count":2,"area":null},{"id":"2503.17339","title":"Can AI expose tax loopholes? Towards a new generation of legal policy assistants","created":"2025-03-21","cited_by_count":2,"area":null},{"id":"2505.21486","title":"Hypothesis Generation via LLM-Automated Language Bias for ILP","created":"2025-05-27","cited_by_count":2,"area":null},{"id":"2510.25517","title":"Predicate Renaming via Large Language Models","created":"2025-10-29","cited_by_count":2,"area":null},{"id":"2109.07818","title":"Learning logic programs through divide, constrain, and conquer","created":"2021-09-16","cited_by_count":1,"area":null},{"id":"2208.11656","title":"Constraint-driven multi-task learning","created":"2022-08-24","cited_by_count":1,"area":null},{"id":"2212.12335","title":"Rule Learning by Modularity","created":"2022-12-23","cited_by_count":1,"area":null},{"id":"2308.08334","title":"Learning logic programs by discovering higher-order abstractions","created":"2023-08-16","cited_by_count":1,"area":null},{"id":"2508.00005","title":"Modelling Program Spaces in Program Synthesis with Constraints","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2508.06230","title":"Learning Logical Rules using Minimum Message Length","created":"2025-08-08","cited_by_count":1,"area":null},{"id":"2508.06716","title":"GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning","created":"2025-08-08","cited_by_count":1,"area":null},{"id":"2605.04916","title":"A Foundation Model for Zero-Shot Logical Rule Induction","created":"2026-05-06","cited_by_count":1,"area":null},{"id":"2102.12551","title":"Learning logic programs by explaining their failures","created":"2021-02-18","cited_by_count":0,"area":null},{"id":"2109.07132","title":"Parallel Constraint-Driven Inductive Logic Programming","created":"2021-09-15","cited_by_count":0,"area":null},{"id":"2112.12551","title":"Preprocessing in Inductive Logic Programming","created":"2021-12-21","cited_by_count":0,"area":null},{"id":"2205.08954","title":"One-way Explainability Isn't The Message","created":"2022-05-05","cited_by_count":0,"area":null},{"id":"2208.06652","title":"Differentiable Inductive Logic Programming in High-Dimensional Space","created":"2022-08-13","cited_by_count":0,"area":null},{"id":"2308.02666","title":"Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate","created":"2023-08-04","cited_by_count":0,"area":null},{"id":"2402.01760","title":"Trust and ethical considerations in a multi-modal, explainable AI-driven chatbot tutoring system: The case of collaboratively solving Rubik's Cube","created":"2024-01-30","cited_by_count":0,"area":null},{"id":"2407.15510","title":"Algebraic anti-unification","created":"2024-07-22","cited_by_count":0,"area":null},{"id":"2411.01188","title":"Learning Rules Explaining Interactive Theorem Proving Tactic Prediction","created":"2024-11-02","cited_by_count":0,"area":null},{"id":"2502.01232","title":"Efficient rule induction by ignoring pointless rules","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2502.09213","title":"Neuro-Symbolic Contrastive Learning for Cross-domain Inference","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2503.07554","title":"An Empirical Comparison of Cost Functions in Inductive Logic Programming","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2506.06739","title":"Honey, I shrunk the hypothesis space (through logical preprocessing)","created":"2025-06-07","cited_by_count":0,"area":null},{"id":"2507.16405","title":"Self-Supervised Inductive Logic Programming","created":"2025-07-22","cited_by_count":0,"area":null},{"id":"2508.06263","title":"Symmetry breaking for inductive logic programming","created":"2025-08-08","cited_by_count":0,"area":null},{"id":"2509.00961","title":"Ultra Strong Machine Learning: LLM-Generated Explanations Do Not Yet Suffice for Teaching Humans Active Learning Strategy","created":"2025-08-31","cited_by_count":0,"area":null},{"id":"2510.19698","title":"RLIE: Rule Generation with Logistic Regression, Iterative Refinement, and Evaluation for Large Language Models","created":"2025-10-22","cited_by_count":0,"area":null},{"id":"2510.24633","title":"Symbolic Snapshot Ensembles","created":"2025-10-28","cited_by_count":0,"area":null},{"id":"2511.05728","title":"Compressing Chemistry Reveals Functional Groups","created":"2025-11-07","cited_by_count":0,"area":null},{"id":"2512.12918","title":"Satisfiability Modulo Theory Meets Inductive Logic Programming","created":"2025-12-15","cited_by_count":0,"area":null},{"id":"2605.04193","title":"ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming","created":"2026-05-05","cited_by_count":0,"area":null},{"id":"2607.01585","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","created":"2026-07-02","cited_by_count":0,"area":null},{"id":"2609.24942","title":"Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2609.37233","title":"DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2609.37740","title":"HyDI: A hybrid Deep Learning-Inductive Logic Programming ensemble for multi-label classification","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}