Alert button
Picture for Gaia Saveri

Gaia Saveri

Alert button

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

May 03, 2023
Gaia Saveri, Luca Bortolussi

Figure 1 for Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Figure 2 for Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Figure 3 for Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Figure 4 for Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
Viaarxiv icon

Graph Neural Networks for Propositional Model Counting

May 09, 2022
Gaia Saveri, Luca Bortolussi

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