Machine learning with requirements: A manifestoEleonora Giunchiglia, Thomas Lukasiewicz, Mihaela van der Schaar et al.|Neurosymbolic Artificial Intelligence|2024Cited by 7