Gaia Saveri

According to our database, Gaia Saveri authored at least 8 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Retrieval-Augmented Mining of Temporal Logic Specifications from Data.

Gaia Saveri, Luca Bortolussi

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024

ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series.

Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Is Machine Learning Model Checking Privacy Preserving?

Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.

Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.

Gaia Saveri, Luca Bortolussi

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

Reliable and Explainable AI in Trieste.

Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri

Proceedings of the Italia Intelligenza Artificiale, 2023

2022

Graph Neural Networks for Propositional Model Counting.

Gaia Saveri, Luca Bortolussi

CoRR, 2022

Graph Neural Networks for Propositional Model Counting.

Gaia Saveri

Proceedings of the 30th European Symposium on Artificial Neural Networks, 2022