Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.

Gaia Saveri, Luca Bortolussi

Browse the full NeSy paper archive.