I'm genuinely curious, because I've been seeing some papers come out recently from the ILP world, like referenced above as well as others [1, 2]. It seems they're busy cooking. In the main linked paper they're tackling pure image datasets and predicate induction which I've previously read was very d
