43 citations · 106 across the 43 of their papers we have counts for
3 papers · 1 filter
Decoupling feature propagation from the design of graph auto-encoders
Paul Scherer, Helena Andres-Terre, Pietro Lio +1
We present two instances, L-GAE and L-VGAE, of the variational graph auto-encoding family (VGAE) based on separating feature propagation operations from graph convolution layers ty…
Bayesian Optimisation with Gaussian Processes for Premise Selection
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik +2
Heuristics in theorem provers are often parameterised. Modern theorem provers such as Vampire utilise a wide array of heuristics to control the search space explosion, thereby requ…
Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat
Duo Wang, Mateja Jamnik, Pietro Lio
In this work we present Discrete Attend Infer Repeat (Discrete-AIR), a Recurrent Auto-Encoder with structured latent distributions containing discrete categorical distributions, co…