Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

3 May 2023

Papers citing "Towards Invertible Semantic-Preserving Embeddings of Logical Formulae"

2 / 2 papers shown

Title
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes Luca Bortolussi G. Gallo Jan Křetínský L. Nenzi 16 7 0 24 Jan 2022
Junction Tree Variational Autoencoder for Molecular Graph Generation Wengong Jin Regina Barzilay Tommi Jaakkola 219 1,329 0 12 Feb 2018