|
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
|
Wed 14:30
|
A Convergence Analysis of Gradient Descent for Deep Linear Neural Networks
Sanjeev Arora · Nadav Cohen · Noah Golowich · Wei Hu
|
|
|
Workshop
|
Mon 11:00
|
NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks
Tomer Arnon · Christopher Lazarus
|
|
|
Poster
|
Wed 14:30
|
Gradient descent aligns the layers of deep linear networks
Ziwei Ji · Matus Telgarsky
|
|
|
Poster
|
Wed 14:30
|
An analytic theory of generalization dynamics and transfer learning in deep linear networks
Andrew Lampinen · Surya Ganguli
|
|
|
Poster
|
Thu 14:30
|
Deep, Skinny Neural Networks are not Universal Approximators
Jesse Johnson
|
|
|
Poster
|
Wed 14:30
|
From Hard to Soft: Understanding Deep Network Nonlinearities via Vector Quantization and Statistical Inference
Randall Balestriero · Richard Baraniuk
|
|
|
Poster
|
Wed 14:30
|
Towards Robust, Locally Linear Deep Networks
Guang-He Lee · David Alvarez-Melis · Tommi Jaakkola
|
|
|
Poster
|
Tue 9:00
|
RotDCF: Decomposition of Convolutional Filters for Rotation-Equivariant Deep Networks
Xiuyuan Cheng · Qiang Qiu · Robert Calderbank · Guillermo Sapiro
|
|
|
Poster
|
Tue 9:00
|
Diffusion Scattering Transforms on Graphs
Fernando Gama · Alejandro Ribeiro · Joan Bruna
|
|
|
Poster
|
Wed 14:30
|
Adaptivity of deep ReLU network for learning in Besov and mixed smooth Besov spaces: optimal rate and curse of dimensionality
Taiji Suzuki
|
|
|
Poster
|
Tue 9:00
|
Unsupervised Adversarial Image Reconstruction
Arthur Pajot · Emmanuel de Bézenac · patrick Gallinari
|
|
