firstbacksecondback
8 Results
|
Poster
|
Tue 14:00 |
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora · Mehmet Fatih Sahin · Fanghui Liu · Grigorios Chrysos · Volkan Cevher |
|
|
Poster
|
Thu 14:00 |
Staggered Rollout Designs Enable Causal Inference Under Interference Without Network Knowledge Mayleen Cortez · Matthew Eichhorn · Christina Yu |
|
|
Poster
|
Wed 14:00 |
Multivariate Time-Series Forecasting with Temporal Polynomial Graph Neural Networks Yijing Liu · Qinxian Liu · Jian-Wei Zhang · Haozhe Feng · Zhongwei Wang · Zihan Zhou · Wei Chen |
|
|
Poster
|
Thu 14:00 |
Graph Neural Networks are Dynamic Programmers Andrew J Dudzik · Petar Veličković |
|
|
Competition
|
Tue 3:40 |
AutoML for Neural Network Robustness Verification Jan van Rijn |
|
|
Poster
|
Wed 9:00 |
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi · Yihan Wang · Huan Zhang · J. Zico Kolter · Cho-Jui Hsieh |
|
|
Poster
|
Wed 14:00 |
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan · Jonathan Hayase · Alex Dimakis · Sewoong Oh |
|
|
Poster
|
Tue 9:00 |
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang · Shiqi Wang · Kaidi Xu · Linyi Li · Bo Li · Suman Jana · Cho-Jui Hsieh · J. Zico Kolter |