@misc{indiciae6f04f42af052,
  title = {LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning},
  author = {Luca Salvatore Lorello and Nikolaos Manginas and Marco Lippi and Stefano Melacci},
  year = {2025},
  url = {https://arxiv.org/abs/2507.17482},
  note = {Source identifier: 2507.17482}
}