Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

Open in new window