Specifying Goals to Deep Neural Networks with Answer Set Programming. - Forest Agostinelli; Rojina Panta; Vedant Khandelwal (ICAPS, 2024)