firstbacksecondback
19 Results
|
Poster
|
Wed 9:00 |
MSDS: A Large-Scale Chinese Signature and Token Digit String Dataset for Handwriting Verification Peirong Zhang · Jiajia Jiang · Yuliang Liu · Lianwen Jin |
|
|
Poster
|
Wed 9:00 |
Learning to Navigate Wikipedia by Taking Random Walks Manzil Zaheer · Kenneth Marino · Will Grathwohl · John Schultz · Wendy Shang · Sheila Babayan · Arun Ahuja · Ishita Dasgupta · Christine Kaeser-Chen · Rob Fergus |
|
|
Poster
|
Tue 14:00 |
[Re] Value Alignment Verification Siba Smarak Panigrahi · Sohan Patnaik |
|
|
Competition
|
Tue 3:40 |
AutoML for Neural Network Robustness Verification Jan van Rijn |
|
|
Poster
|
Robust Anytime Learning of Markov Decision Processes Marnix Suilen · Thiago D. Simão · David Parker · Nils Jansen |
||
|
Poster
|
Tue 9:00 |
Neural Abstractions Alessandro Abate · Alec Edwards · Mirco Giacobbe |
|
|
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
|
Thu 14:00 |
Untargeted Backdoor Watermark: Towards Harmless and Stealthy Dataset Copyright Protection Yiming Li · Yang Bai · Yong Jiang · Yong Yang · Shu-Tao Xia · Bo Li |
|
|
Poster
|
Wed 14:00 |
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt · Stephan Günnemann |
|
|
Poster
|
Tue 14:00 |
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora · Mehmet Fatih Sahin · Fanghui Liu · Grigorios Chrysos · Volkan Cevher |
|
|
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 |
|
|
Poster
|
Wed 14:00 |
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan · Jonathan Hayase · Alex Dimakis · Sewoong Oh |