PPaperPicks

Andrew Cropper

10 papers at tracked venues · 6 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Can Humans Teach Machines to Code?
  2. Efficient Rule Induction by Ignoring Pointless Rules
    AAAI 2026 · Andrew Cropper
  3. Symmetry Breaking for Inductive Logic Programming
    AAAI 2026 · Andrew Cropper
  4. Relational Decomposition for Program Synthesis
  5. Scalable Knowledge Refactoring Using Constrained Optimisation
  6. Generalisation through Negation and Predicate Invention
  7. Learning Big Logical Rules by Joining Small Rules
  8. Learning Logic Programs by Discovering Higher-Order Abstractions
  9. Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms
    ECAI 2024 · Andrew Cropper
  10. Learning MDL Logic Programs from Noisy Data