mlsanityData to 14 Oct 2026

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

arXiv 2505.05106 ↗First posted 8 May 2025cs.AIcited by 2

Not on the map. Why?

Abstract (arXiv)

One of the goals of neuro-symbolic artificial intelligence is to exploit background knowledge to improve the performance of learning tasks. However, most of the existing frameworks focus on the simplified scenario where knowledge does not change over time and does not cover the temporal dimension. In this work we consider the much more challenging problem of knowledge-driven sequence classification where different portions of knowledge must be employed at different timesteps, and temporal relations are available. Our experimental evaluation compares multi-stage neuro-symbolic and neural-only architectures, and it is conducted on a newly-introduced benchmarking framework. Results demonstrate the challenging nature of this novel setting, and also highlight under-explored shortcomings of neuro-symbolic methods, representing a precious reference for future research.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 13 of its 43 references that are in the map. First posted on arXiv 8 May 2025.

Builds on

13 of 43 references.

References · 13

  1. 2017Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithmscited by 4,349
  2. 2023A Comprehensive Survey of Continual Learning: Theory, Method and Applicationcited by 872
  3. 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 394
  4. 2020Logic Tensor Networkscited by 199
  5. 2017Neural-Symbolic Learning and Reasoning: A Survey and Interpretationcited by 196
  6. 2020Analyzing Differentiable Fuzzy Logic Operatorscited by 101
  7. 2021From Statistical Relational to Neurosymbolic Artificial Intelligence: a Surveycited by 72
  8. 2023Scallop: A Language for Neurosymbolic Programmingcited by 63
  9. 2021Embedding Symbolic Temporal Knowledge into Deep Sequential Modelscited by 11
  10. 2024NeSyA: Neurosymbolic Automatacited by 10
  11. 2024DeepDFA: Automata Learning through Neural Probabilistic Relaxationscited by 8
  12. 2021Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operatorcited by 5
1 more
  1. 2022OCTAL: Graph Representation Learning for LTL Model Checkingcited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 1; 2026: 1.

2 papers.