research
∙
08/31/2023
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints
Score-based and diffusion models have emerged as effective approaches fo...
share
research
∙
07/13/2022
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
05/11/2022
Stochastic Variational Smoothed Model Checking
Model-checking for parametric stochastic models can be expressed as chec...
research
∙
06/24/2021
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Markov Population Models are a widespread formalism used to model the dy...
research
∙
02/22/2021
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks
We consider the problem of the stability of saliency-based explanations ...
research
∙
02/18/2021
Random Projections for Improved Adversarial Robustness
We propose two training techniques for improving the robustness of Neura...
research
∙
08/25/2020
ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation
Plug-and-play language models (PPLMs) enable topic-conditioned natural l...
research
∙
02/11/2020