arXiv · 2025 · Preprint · Author with a top-venue record

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

Luca Salvatore Lorello, Nikolaos Manginas, Marco Lippi, Stefano Melacci

PDF from arXiv.HTML · PDF · Open in a new tab ↗ · Close

Date: 2025-07-23
Citations: 0
arXiv: 2507.17482 ↗

Cite

@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 Stefano Melacci},
  year = {2025},
  eprint = {2507.17482},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.17482},
}