Large multimodal datasets have been instrumental in recent breakthroughs...
Neural network verification aims to provide provable bounds for the outp...
In a backdoor attack, an attacker injects corrupted examples into the
tr...
The success of deep learning is thanks to our ability to solve certain
m...
Backdoor attacks are a major concern in federated learning (FL) pipeline...
Modern machine learning increasingly requires training on a large collec...
Building on the view of machine learning as search, we demonstrate the
n...