Graph Neural Networks for Propositional Model Counting. - Gaia Saveri (ESANN, 2022)

Graph Neural Networks for Propositional Model Counting. - Gaia Saveri; Luca Bortolussi (CoRR, 2022)

Reliable and Explainable AI in Trieste. - Emanuele Ballarin; Luca Bortolussi; Francesca Cairoli; Chiara Gallese; Laura Nenzi; Gaia Saveri (Ital-IA, 2023)

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. - Gaia Saveri; Luca Bortolussi (NeSy, 2023)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. - Gaia Saveri; Laura Nenzi; Luca Bortolussi; Jan Kretínský (ECAI, 2024)

Is Machine Learning Model Checking Privacy Preserving? - Luca Bortolussi; Laura Nenzi; Gaia Saveri; Simone Silvetti (ISoLA (2), 2024)

ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. - Irene Ferfoglia; Gaia Saveri; Laura Nenzi; Luca Bortolussi (NeSy (2), 2024)

Retrieval-Augmented Mining of Temporal Logic Specifications from Data. - Gaia Saveri; Luca Bortolussi (ECML/PKDD (7), 2024)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers. - Sara Candussio; Gaia Saveri; Gabriele Sarti; Luca Bortolussi (CoRR, 2025)