Gaia Saveri

17 papers A 1B 1C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic.
CoRR
Sara Candussio, Gabriele Sarti, Gaia Saveri, Luca Bortolussi
2025 — conf
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers.
ECML/PKDD (5)
Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi
2025 J jnl
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers.
CoRR
Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi
2025 J jnl
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2025 J jnl
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 — conf
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series.
NeSy (2)
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 J jnl
ECATS: Explainable-by-design concept-based anomaly detection for time series.
CoRR
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 — conf
Is Machine Learning Model Checking Privacy Preserving?
ISoLA (2)
Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti
2024 — conf
Retrieval-Augmented Mining of Temporal Logic Specifications from Data.
ECML/PKDD (7)
Gaia Saveri, Luca Bortolussi
2024 J jnl
Retrieval-Augmented Mining of Temporal Logic Specifications from Data.
CoRR
Gaia Saveri, Luca Bortolussi
2024 A conf
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.
ECAI
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2024 J jnl
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.
CoRR
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2023 — conf
Reliable and Explainable AI in Trieste.
Ital-IA
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
2023 C conf
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.
NeSy
Gaia Saveri, Luca Bortolussi
2023 J jnl
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.
CoRR
Gaia Saveri, Luca Bortolussi
2022 B conf
Graph Neural Networks for Propositional Model Counting.
ESANN
Gaia Saveri
2022 J jnl
Graph Neural Networks for Propositional Model Counting.
CoRR
Gaia Saveri, Luca Bortolussi