@misc{indiciae2cab3af5f062,
  title = {Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks},
  author = {Licheng Luo and Kaier Liang and Cristian-Ioan Vasile and Mingyu Cai},
  year = {2026},
  url = {https://arxiv.org/abs/2604.02643},
  note = {Source identifier: 2604.02643}
}