Honey, I shrunk the hypothesis space (through logical preprocessing)

ArXi:2506.06739v3 Announce Type: replace Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises