Outstanding paper award at NeSy 2025 for our paper on probabilistic neuro-symbolic robustness verification
