Gaia Saveri

According to our database, Gaia Saveri authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.

Gaia Saveri, Luca Bortolussi

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

Reliable and Explainable AI in Trieste.

Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri

Proceedings of the Italia Intelligenza Artificiale, 2023

2022

Graph Neural Networks for Propositional Model Counting.

Gaia Saveri, Luca Bortolussi

CoRR, 2022

Graph Neural Networks for Propositional Model Counting.

Gaia Saveri

Proceedings of the 30th European Symposium on Artificial Neural Networks, 2022