W2D2: Neurosymbolic Methods