SAVERI, GAIA

	Nome completo
	
					SAVERI, GAIA
				
	Afferenza
	
					Dipartimento di Matematica, Informatica e Geoscienze
				
	Tipo di ruolo
	
					Personale esterno ed autonomi

Mostra records

Risultati 1 - 5 di 5 (tempo di esecuzione: 0.006 secondi).

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

2026-01-01 Candussio, S.; Saveri, G.; Sarti, G.; Bortolussi, L.

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

2024-01-01 Ferfoglia, Irene; Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca

Is Machine Learning Model Checking Privacy Preserving?

2025-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone

Retrieval-Augmented Mining of Temporal Logic Specifications from Data

2024-01-01 Saveri, G.; Bortolussi, L.

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

2024-01-01 Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca; Křetínský, Jan

Titolo	Data di pubblicazione	Autori
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers	1-gen-2026	Candussio S.Saveri G.Sarti G.Bortolussi L. + -
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series	1-gen-2024	Irene FerfogliaGaia SaveriLaura NenziLuca Bortolussi
Is Machine Learning Model Checking Privacy Preserving?	1-gen-2025	Bortolussi, LucaNenzi, LauraSaveri, GaiaSilvetti, Simone
Retrieval-Augmented Mining of Temporal Logic Specifications from Data	1-gen-2024	Saveri G.Bortolussi L.
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic	1-gen-2024	Saveri, GaiaNenzi, LauraBortolussi, LucaKřetínský, Jan + -