LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning

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