Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction - Delfosse, Quentin; Shindo, Hikaru; Dhami, Devendra; Kersting, Kristian (Advances in Neural Information Processing Systems, 2023)