140 citations · 526 across the 24 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 133 cited
A Unified View of Piecewise Linear Neural Network Verification
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr +2
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the rep…
stat.ML2017★ 140 cited
Learning Disentangled Representations with Semi-Supervised Deep Generative Models
N. Siddharth, Brooks Paige, Jan-Willem van de Meent +5
Variational autoencoders (VAEs) learn representations of data by jointly training a probabilistic encoder and decoder network. Typically these models encode all features of the dat…