Andrew Cropper
22 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Cross-Pollinator
(10)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(31)
π
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
Can Humans Teach Machines to Code?
AAAI 2026
The Automatic Computer Scientist
AAAI 2023
Forgetting to Learn Logic Programs
AAAI 2020
Playgol: Learning Programs Through Play
IJCAI 2019
Learning Efficient Logic Programs
IJCAI 2015