Artificial Intelligence (AI) can enable the development of next-generation autonomous safety-
critical systems in which Machine Learning (ML) algorithms learn optimized and safe …

Designing a controller for autonomous vehicles capable of providing adequate performance
in all driving scenarios is challenging due to the highly complex environment and inability to …

Large language models (LLMs) have exploded a new heatwave of AI for their ability to
engage end-users in human-level conversations with detailed and articulate answers across …

AI-based systems are software systems with functionalities enabled by at least one AI
component (eg, for image-, speech-recognition, and autonomous driving). AI-based systems …

It is common practice in deep learning to use overparameterized networks and train for as
long as possible; there are numerous studies that show, both theoretically and empirically …

Bound propagation based incomplete neural network verifiers such as CROWN are very
efficient and can significantly accelerate branch-and-bound (BaB) based complete …

This paper presents a summary and meta-analysis of the first three iterations of the annual
International Verification of Neural Networks Competition (VNN-COMP), held in 2020, 2021 …

In recent years, Deep Neural Networks (DNNs) have been experiencing rapid development
and have been widely used in various fields. However, while DNNs have shown strong …

We show how to turn any classifier that classifies well under Gaussian noise into a new
classifier that is certifiably robust to adversarial perturbations under the L2 norm. While this" …

The Metaverse, positioned as the next frontier of the Internet, has the ambition to forge a
virtual shared realm characterized by immersion, hyper-spatiotemporal dynamics, and self …