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 (English only)
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
22 total
Stephen Muggleton
Imperial College London
Sebastijan Dumancic
Tenured Assistant Professor @ Delft University of Technology
Co-author 3
Co-author 4
Co-author 5
Co-author 6
Mark Law
ILASP Limited, Imperial College London
Matti Järvisalo
Professor of Computer Science, University of Helsinki
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up