Neurosymbolic Approaches To Safe Machine Learning