Picture for Gaia Saveri

Gaia Saveri

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Add code
May 23, 2024
Viaarxiv icon

Retrieval-Augmented Mining of Temporal Logic Specifications from Data

Add code
May 23, 2024
Viaarxiv icon

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

Add code
May 17, 2024
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