Andrew Cropper

---

I am a junior research fellow at the University of Oxford. I design machine learning algorithms that learn to write code. I focus on inductive logic programming (ILP). I maintain Metagol, an ILP system.

Email CV

---

Publications

DBLP Scholar

Journals

1. Inductive general game playing. A. Cropper, R. Evans, and M. Law. Machine learning 2019. slides code dataset
2. Logical minimisation of metarules. A. Cropper and S. Tourret. Machine learning 2019. slides code
3. Learning higher-order logic programs. A. Cropper, R. Morel, and S.H. Muggleton. Machine learning 2019. slides code
4. Learning efficient logic programs. A. Cropper and S.H. Muggleton. Machine learning 2019. slides code

Conferences

1. Forgetting to learn logic programs A. Cropper. AAAI 2020. slides code
2. Learning higher-order programs through predicate invention. A. Cropper, R. Morel, and S.H. Muggleton. AAAI 2020. slides
3. Playgol: learning programs through play. A. Cropper. IJCAI 2019. slides code
4. SLD-resolution reduction of second-order horn fragments. S. Tourret and A. Cropper. JELIA 2019.
5. Typed meta-interpretive learning of logic programs. R. Morel, A. Cropper, and L. Ong. JELIA 2019. slides code
6. Derivation reduction of metarules in meta-interpretive learning. A. Cropper and S. Tourret. ILP 2018. slides code
7. Learning higher-order logic programs through abstraction and invention. A. Cropper and S.H. Muggleton. IJCAI 2016. slides code
8. Logic-based inductive synthesis of efficient programs. A. Cropper. IJCAI 2016. slides
9. Learning efficient logical robot strategies involving composable objects. A. Cropper and S.H. Muggleton. IJCAI 2015. slides code
10. Learning efficient logic programs. A. Cropper. IJCAI 2015. slides
11. Meta-interpretive learning of data transformation programs. A. Cropper, A. Tamaddoni-Nezhad, and S.H. Muggleton. ILP 2015. slides code
12. Typed meta-interpretive learning for proof strategies. C. Farquhar, G. Grov, A. Cropper, S.H. Muggleton, and A. Bundy. ILP 2015.
13. Can predicate invention compensate for incomplete background knowledge? A. Cropper and S.H. Muggleton. SCAI 2015. slides
14. Logical minimisation of meta-rules within meta-interpretive learning. A. Cropper and S.H. Muggleton. ILP 2014. slides

Workshops

1. SLD-resolution reduction of second-order Horn fragments. S. Tourret and A. Cropper. Termgraph 2018.
2. Identifying and inferring objects from textual descriptions of scenes from books. A. Cropper. ICCSW 2014. slides

Theses

1. Efficiently learning efficient programs. A. Cropper. PhD thesis, Imperial College London, 2017.
2. Modelling stock volume using Twitter. A. Cropper. MSc thesis, University of Oxford, 2011.

---

Talks

• Learning higher-order logic programs. KU Leuven, 2019.
• Inductive general game playing. KU Leuven, 2019.
• Playgol: learning programs through play. KU Leuven, 2019.
• Inductive general game playing. MIT, 2019.
• Playgol: learning programs through play. MIT, 2019.
• Playgol: learning programs through play. Machine intelligence 21, 2019.
• Inductive general game playing. Dagstuhl, 2019.
• Playgol: learning programs through play. Dagstuhl, 2019.
• Learning algorithms using logic. University of Oxford, 2019.
• Learning efficient logic programs. MIT, 2018.
• Learning efficient logic programs. Dagstuhl, 2017.
• Learning higher-order logic programs. Dagstuhl, 2017.
• Learning efficient logic programs. Machine intelligence 20, 2016.
• Logic-based learning of programs. UC Berkeley, 2016.
• Metagol. Dagstuhl, 2015.
• Predicate invention in meta-interpretive learning. Wakayama University, Japan, 2014.