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…