firstbacksecondback
113 Results
|
Poster
|
Wed 9:00 |
How to train your MAML Antreas Antoniou · Harrison Edwards · Amos Storkey |
|
|
Poster
|
Tue 14:30 |
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng · Kai Xiao · Russ Tedrake |
|
|
Poster
|
Tue 14:30 |
Verification of Non-Linear Specifications for Neural Networks Chongli Qin · Krishnamurthy Dvijotham · Brendan ODonoghue · Rudy R Bunel · Robert Stanforth · Sven Gowal · Jonathan Uesato · Grzegorz Swirszcz · Pushmeet Kohli |
|
|
Poster
|
Thu 9:00 |
Discovery of Natural Language Concepts in Individual Units of CNNs Seil Na · Yo Joong Choe · Dong-Hyun Lee · Gunhee Kim |
|
|
Poster
|
Thu 9:00 |
Improving Differentiable Neural Computers Through Memory Masking, De-allocation, and Link Distribution Sharpness Control Robert Csordas · Jürgen Schmidhuber |
|
|
Oral
|
Tue 13:15 |
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware Florian Tramer · Dan Boneh |
|
|
Poster
|
Tue 14:30 |
Towards the first adversarially robust neural network model on MNIST Lukas Schott · Jonas Rauber · Matthias Bethge · Wieland Brendel |
|
|
Poster
|
Tue 14:30 |
INVASE: Instance-wise Variable Selection using Neural Networks Jinsung Yoon · James Jordon · Mihaela Schaar |
|
|
Oral
|
Mon 13:45 |
The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks Jonathan Frankle · Michael Carbin |
|
|
Oral
|
Thu 8:30 |
Ordered Neurons: Integrating Tree Structures into Recurrent Neural Networks Yikang Shen · Shawn Tan · Alessandro Sordoni · Aaron Courville |
|
|
Oral
|
Wed 8:15 |
Deterministic Variational Inference for Robust Bayesian Neural Networks Anqi Wu · Sebastian Nowozin · Ted Meeds · Richard E Turner · José Miguel Hernández Lobato · Alexander Gaunt |
|
|
Oral
|
Mon 13:30 |
How Powerful are Graph Neural Networks? Keyulu Xu · Weihua Hu · Jure Leskovec · Stefanie Jegelka |