|
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
|
Thu 9:00 |
VeriDark: A Large-Scale Benchmark for Authorship Verification on the Dark Web Andrei Manolache · Florin Brad · Antonio Barbalau · Radu Tudor Ionescu · Marius Popescu |
|
|
Poster
|
Robust Anytime Learning of Markov Decision Processes Marnix Suilen · Thiago D. Simão · David Parker · Nils Jansen |
||
|
Poster
|
Tue 14:00 |
Verification and search algorithms for causal DAGs Davin Choo · Kirankumar Shiragur · Arnab Bhattacharyya |
|
|
Poster
|
Tue 14:00 |
[Re] Value Alignment Verification Siba Smarak Panigrahi · Sohan Patnaik |
|
|
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 |
|
|
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 |