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