Don extquotesingle t Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation - Xu, Ziwei; Rawat, Yogesh; Wong, Yongkang; Kankanhalli, Mohan S; Shah, Mubarak (Advances in Neural Information Processing Systems, 2022)