|
Poster
|
Wed 17:00
|
A PAC-Bayesian Approach to Generalization Bounds for Graph Neural Networks
Renjie Liao · Raquel Urtasun · Richard Zemel
|
|
|
Poster
|
Thu 1:00
|
Optimal Conversion of Conventional Artificial Neural Networks to Spiking Neural Networks
Shikuang Deng · Shi Gu
|
|
|
Poster
|
Tue 17:00
|
How Neural Networks Extrapolate: From Feedforward to Graph Neural Networks
Keyulu Xu · Mozhi Zhang · Jingling Li · Simon Du · Ken-Ichi Kawarabayashi · Stefanie Jegelka
|
|
|
Poster
|
Thu 17:00
|
Multi-Prize Lottery Ticket Hypothesis: Finding Accurate Binary Neural Networks by Pruning A Randomly Weighted Network
James Diffenderfer · Bhavya Kailkhura
|
|
|
Poster
|
Mon 9:00
|
Vector-output ReLU Neural Network Problems are Copositive Programs: Convex Analysis of Two Layer Networks and Polynomial-time Algorithms
Arda Sahiner · Tolga Ergen · John M Pauly · Mert Pilanci
|
|
|
Poster
|
Tue 1:00
|
Computational Separation Between Convolutional and Fully-Connected Networks
Eran Malach · Shai Shalev-Shwartz
|
|
|
Workshop
|
Fri 11:01
|
Contributed Talk 2 - Neural Lower Bounds for Verification
Florian Jaeckle
|
|
