79 citations · 424 across the 54 of their papers we have counts for
3 papers · 1 filter
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
Sara Candussio, Gaia Saveri, Gabriele Sarti +1
Continuous representations of logic formulae allow us to integrate symbolic knowledge into data-driven learning algorithms. If such embeddings are semantically consistent, i.e. if…