Andrew Cropper
22 papers · 2015–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (30) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(12)
🗃️
Keyword Collector
(57)
📈
Trend Setter
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
❓
The Questioner
Venues
Top co-authors
Research topics
Machine Learning
(13)
Artificial Intelligence
(11)
Core AI
(10)
Knowledge & Reasoning
(8)
Core Methods
(8)
Learning Types
(6)
Reasoning
(6)
Optimization & Theory
(4)
Learning Paradigms
(3)
Computer Science
(2)
Representation
(2)
Mathematics & Optimization
(1)
Applications
(1)
Foundations
(1)
Optimization
(1)
Keywords
inductive logic programming
(16)
program synthesis
(12)
knowledge base
(3)
predicate invention
(3)
hypothesis space
(3)
answer set programming
(2)
program induction
(2)
logic program
(2)
inductive program synthesis
(2)
constraint optimisation
(2)
constraint solving
(2)
logical rule
(2)
sample complexity
(2)
knowledge refactoring
(2)
constraint satisfaction
(1)
predictive accuracy
(1)
automated reasoning
(1)
knowledge representation
(1)
few-shot learning
(1)
best-first search
(1)
Papers
Can Humans Teach Machines to Code?
AAAI 2026
Efficient Rule Induction by Ignoring Pointless Rules
AAAI 2026
Symmetry Breaking for Inductive Logic Programming
AAAI 2026
Relational Decomposition for Program Synthesis
IJCAI 2025
Scalable Knowledge Refactoring Using Constrained Optimisation
AAAI 2025
Generalisation through Negation and Predicate Invention
AAAI 2024
Learning Big Logical Rules by Joining Small Rules
IJCAI 2024
Learning Logic Programs by Discovering Higher-Order Abstractions
IJCAI 2024
Learning MDL Logic Programs from Noisy Data
AAAI 2024
Learning Logic Programs by Discovering Where Not to Search
AAAI 2023
Relational Program Synthesis with Numerical Reasoning
AAAI 2023
The Automatic Computer Scientist
AAAI 2023
Learning Logic Programs Though Divide, Constrain, and Conquer
AAAI 2022
Knowledge Refactoring for Inductive Program Synthesis
AAAI 2021
Forgetting to Learn Logic Programs
AAAI 2020
Learning Large Logic Programs By Going Beyond Entailment
IJCAI 2020
Turning 30: New Ideas in Inductive Logic Programming
IJCAI 2020
Playgol: Learning Programs Through Play
IJCAI 2019
Learning Higher-Order Logic Programs through Abstraction and Invention
IJCAI 2016
Logic-Based Inductive Synthesis of Efficient Programs
IJCAI 2016
Learning Efficient Logical Robot Strategies Involving Composable Objects
IJCAI 2015
Learning Efficient Logic Programs
IJCAI 2015