Stronger Together: Marrying Deep Models with Traditional Symbolic Decision-Making (Yuandong Tian)