{"total":40,"rows":[{"id":"2306.01439","title":"Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction","created":"2023-06-02","cited_by_count":46,"area":null},{"id":"2110.15245","title":"From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence","created":"2021-10-28","cited_by_count":35,"area":null},{"id":"2305.14699","title":"Can Transformers Learn to Solve Problems Recursively?","created":"2023-05-24","cited_by_count":17,"area":null},{"id":"2305.05964","title":"Interpretable Multimodal Misinformation Detection with Logic Reasoning","created":"2023-05-10","cited_by_count":16,"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":"2306.08397","title":"Scalable Neural-Probabilistic Answer Set Programming","created":"2023-06-14","cited_by_count":14,"area":null},{"id":"2401.12947","title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion","created":"2024-01-23","cited_by_count":14,"area":null},{"id":"2302.00277","title":"Anti-unification and Generalization: A Survey","created":"2023-02-01","cited_by_count":7,"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":"2202.09806","title":"Learning logic programs by discovering where not to search","created":"2022-02-20","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":"2403.07078","title":"Improving deep learning with prior knowledge and cognitive models: A survey on enhancing explainability, adversarial robustness and zero-shot learning","created":"2024-03-11","cited_by_count":4,"area":null},{"id":"2210.00764","title":"Relational program synthesis with numerical reasoning","created":"2022-10-03","cited_by_count":2,"area":null},{"id":"2311.07323","title":"A Voting Approach for Explainable Classification with Rule Learning","created":"2023-11-13","cited_by_count":2,"area":null},{"id":"2405.06724","title":"Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models","created":"2024-05-10","cited_by_count":2,"area":null},{"id":"2411.15626","title":"Aligning Generalisation Between Humans and Machines","created":"2024-11-23","cited_by_count":2,"area":null},{"id":"2510.23532","title":"When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning","created":"2025-10-27","cited_by_count":2,"area":null},{"id":"2602.13583","title":"Differentiable Rule Induction from Raw Sequence Inputs","created":"2026-02-14","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":"2209.02066","title":"Trust in Language Grounding: a new AI challenge for human-robot teams","created":"2022-09-05","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":"2408.10369","title":"Boolean Matrix Logic Programming on the GPU","created":"2024-08-19","cited_by_count":1,"area":null},{"id":"2109.07132","title":"Parallel Constraint-Driven Inductive Logic Programming","created":"2021-09-15","cited_by_count":0,"area":null},{"id":"2204.02813","title":"An Algebraic Approach to Learning and Grounding","created":"2022-04-06","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":"2404.11744","title":"Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology","created":"2024-04-17","cited_by_count":0,"area":null},{"id":"2407.15510","title":"Algebraic anti-unification","created":"2024-07-22","cited_by_count":0,"area":null},{"id":"2412.02136","title":"Graph Learning for Planning: The Story Thus Far and Open Challenges","created":"2024-12-03","cited_by_count":0,"area":null},{"id":"2507.10546","title":"Disentangling Neural Disjunctive Normal Form Models","created":"2025-07-14","cited_by_count":0,"area":null},{"id":"2510.07069","title":"Inductive Learning for Possibilistic Logic Programs Under Stable Models","created":"2025-10-08","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":"2511.01683","title":"Student Engagement in AI Assisted Complex Problem Solving: A Pilot Study of Human AI Rubik's Cube Collaboration","created":"2025-11-03","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":"2606.03269","title":"Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering","created":"2026-06-02","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":"2610.20170","title":"Optimizing Sparse Boolean Rule Networks using Mixed Integer Linear Programming","created":"2026-10-14","cited_by_count":0,"area":null}],"next_cursor":null}