Scholar
Andrew Cropper
Google Scholar ID: AtZc544AAAAJ
University of Oxford
inductive logic programming
program synthesis
logical reasoning
machine learning
symbolic AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,200
H-index
18
i10-index
25
Publications
20
Co-authors
22
list available
Contact
Email
andrew.cropper@helsinki.fi
CV
Open ↗
GitHub
Open ↗
Publications
8 items
Symbolic Snapshot Ensembles
2025
Cited
0
Symmetry breaking for inductive logic programming
2025
Cited
0
Learning Logical Rules using Minimum Message Length
2025
Cited
0
Honey, I shrunk the hypothesis space (through logical preprocessing)
2025
Cited
0
An Empirical Comparison of Cost Functions in Inductive Logic Programming
2025
Cited
0
Efficient rule induction by ignoring pointless rules
2025
Cited
0
Relational decomposition for program synthesis
arXiv.org · 2024
Cited
2
Can humans teach machines to code?
arXiv.org · 2024
Cited
0
Resume
Background
Associate Professor at the University of Helsinki
Principal Investigator at ELLIS Institute Finland
Research combines machine learning and logical reasoning
Focuses on Inductive Logic Programming (ILP), a form of program synthesis that learns logic programs from data
Developed the ILP system Popper, which leverages SAT/ASP/MaxSAT solvers
Actively seeking PhD students, postdocs, master's students, and interns
Co-authors
11 total
Stephen Muggleton
Imperial College London
Sebastijan Dumancic
Tenured Assistant Professor @ Delft University of Technology
Mark Law
ILASP Limited, Imperial College London
Matti Järvisalo
Professor of Computer Science, University of Helsinki
David M. Cerna
Czech Academy of Sciences Institute of Computer Science
Alireza Tamaddoni-Nezhad
Reader (Associate Professor), University of Surrey
Joshua B. Tenenbaum
MIT
Steven T. Piantadosi
University of California, Berkeley