Gaia Saveri - RankMe

17 papers A 1B 1C 1Journal 9Unranked 5

Year	Rank	Type	Title / 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