Gaia Saveri | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Luca Bortolussi
33 publications

research

∙ 05/03/2023

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

Logic is the main formal language to perform automated reasoning, and it...

0 Gaia Saveri, et al. ∙

research

∙ 05/09/2022

Graph Neural Networks for Propositional Model Counting

Graph Neural Networks (GNNs) have been recently leveraged to solve sever...

0 Gaia Saveri, et al. ∙