Picture for Gaia Saveri

Gaia Saveri

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

Add code
Jul 10, 2025
Viaarxiv icon

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Add code
May 23, 2024
Figure 1 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 2 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 3 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Figure 4 for stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Viaarxiv icon

Retrieval-Augmented Mining of Temporal Logic Specifications from Data

Add code
May 23, 2024
Figure 1 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 2 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 3 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Figure 4 for Retrieval-Augmented Mining of Temporal Logic Specifications from Data
Viaarxiv icon

ECATS: Explainable-by-design concept-based anomaly detection for time series

Add code
May 17, 2024
Figure 1 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 2 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 3 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Figure 4 for ECATS: Explainable-by-design concept-based anomaly detection for time series
Viaarxiv icon

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

Add code
May 03, 2023
Viaarxiv icon

Graph Neural Networks for Propositional Model Counting

Add code
May 09, 2022
Figure 1 for Graph Neural Networks for Propositional Model Counting
Figure 2 for Graph Neural Networks for Propositional Model Counting
Figure 3 for Graph Neural Networks for Propositional Model Counting
Figure 4 for Graph Neural Networks for Propositional Model Counting
Viaarxiv icon