TY  - RPRT
TI  - Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
AU  - Licheng Luo
AU  - Kaier Liang
AU  - Cristian-Ioan Vasile
AU  - Mingyu Cai
PY  - 2026
UR  - https://arxiv.org/abs/2604.02643
ID  - 2604.02643
ER  -