Gaia Saveri

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Vector Representation

Bounded Treewidth

Semantic Information

Top Venues

Publications

Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR (2024)
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR (2024)
Gaia Saveri, Luca Bortolussi
Retrieval-Augmented Mining of Temporal Logic Specifications from Data. CoRR (2024)
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
Reliable and Explainable AI in Trieste. Ital-IA (2023)
Gaia Saveri, Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy (2023)
Gaia Saveri, Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR (2023)
Gaia Saveri
Graph Neural Networks for Propositional Model Counting. ESANN (2022)
Gaia Saveri, Luca Bortolussi
Graph Neural Networks for Propositional Model Counting. CoRR (2022)