Neurosymbolic Programming for Science