C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Gaia Saveri
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 5
Top Topics
Semantically Rich
Model Counting
Semantic Analysis
Bounded Treewidth
Top Venues
CoRR
NeSy
ESANN
Ital-IA
</>
Publications
</>
Emanuele Ballarin
,
Luca Bortolussi
,
Francesca Cairoli
,
Chiara Gallese
,
Laura Nenzi
,
Gaia Saveri
Reliable and Explainable AI in Trieste.
Ital-IA
(2023)
Gaia Saveri
,
Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.
NeSy
(2023)
Gaia Saveri
,
Luca Bortolussi
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.
CoRR
(2023)
Gaia Saveri
Graph Neural Networks for Propositional Model Counting.
ESANN
(2022)
Gaia Saveri
,
Luca Bortolussi
Graph Neural Networks for Propositional Model Counting.
CoRR
(2022)