79 citations · 115 across the 15 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2024
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Gaia Saveri, Laura Nenzi, Luca Bortolussi +1
Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable…
cs.AI2023
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Gaia Saveri, Luca Bortolussi
Logic is the main formal language to perform automated reasoning, and it is further a human-interpretable language, at least for small formulae. Learning and optimising logic requi…
cs.AI2022★ 1 cited
Graph Neural Networks for Propositional Model Counting
Gaia Saveri, Luca Bortolussi
Graph Neural Networks (GNNs) have been recently leveraged to solve several logical reasoning tasks. Nevertheless, counting problems such as propositional model counting (#SAT) are…