|
Poster
|
Tue 14:00
|
Verification and search algorithms for causal DAGs
Davin Choo · Kirankumar Shiragur · Arnab Bhattacharyya
|
|
|
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
|
|
|
Workshop
|
|
On the impact of the quality of pseudo-labels on the self-supervised speaker verification task
Abderrahim Fathan · JAHANGIR ALAM · Woo Hyun Kang
|
|
|
Workshop
|
|
ForestBench: Equitable Benchmarks for Monitoring, Reporting, and Verification of Nature-Based Solutions with Machine Learning
Lucas Czech · Björn Lütjens · David Dao
|
|
|
Workshop
|
|
Advice Conformance Verification by Reinforcement Learning agents for Human-in-the-Loop
Mudit Verma · Ayush Kharkwal · Subbarao Kambhampati
|
|
|
Workshop
|
|
Efficient Robustness Verification of Neural Ordinary Differential Equations
Mustafa Zeqiri · Mark Müller · Marc Fischer · Martin Vechev
|
|
|
Workshop
|
Fri 10:15
|
Panel: Safety and Verification for Decision-Making Systems (Q&A 3)
Luca Carlone · Sarah Dean · Matthew Johnson-Roberson
|
|
