Andrew Cropper
22 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Conference Polyglot (2) π Academic Marathon (10) π§ Keyword Pioneer π Interdisciplinary Bridge π£ Hot Topic Early Bird
π
Interdisciplinary Bridge
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
πΊ
Lone Wolf
(6)
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(57)
π
Trend Setter
π
Century Club
(19)
π₯
Unstoppable
(7)
β
The Questioner
Conferences
AAAI (12)
IJCAI (10)
Top co-authors
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
Symmetry Breaking for Inductive Logic Programming
AAAI 2026
Can Humans Teach Machines to Code?
AAAI 2026
Efficient Rule Induction by Ignoring Pointless Rules
AAAI 2026
Relational Decomposition for Program Synthesis
IJCAI 2025
Scalable Knowledge Refactoring Using Constrained Optimisation
AAAI 2025
Learning Big Logical Rules by Joining Small Rules
IJCAI 2024
Learning Logic Programs by Discovering Higher-Order Abstractions
IJCAI 2024
Generalisation through Negation and Predicate Invention
AAAI 2024
Learning MDL Logic Programs from Noisy Data
AAAI 2024
The Automatic Computer Scientist
AAAI 2023
Relational Program Synthesis with Numerical Reasoning
AAAI 2023
Learning Logic Programs by Discovering Where Not to Search
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
Logic-Based Inductive Synthesis of Efficient Programs
IJCAI 2016
Learning Higher-Order Logic Programs through Abstraction and Invention
IJCAI 2016
Learning Efficient Logic Programs
IJCAI 2015
Learning Efficient Logical Robot Strategies Involving Composable Objects
IJCAI 2015