Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation Yongkang Wong