English
Related papers

Related papers: Scaling Model Checking for DNN Analysis via State-…

200 papers

Micro Crack detection using deep neural networks (DNNs) through an automated pipeline using wave fields interacting with the damaged areas is highly sought after. These high-dimensional spatio-temporal crack data are limited, and these…

Computer Vision and Pattern Recognition · Computer Science 2024-11-18 Fatahlla Moreh , Yusuf Hasan , Bilal Zahid Hussain , Mohammad Ammar , Sven Tomforde

The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes some of the time, and in settings like self-driving…

Software Engineering · Computer Science 2021-03-04 Yan Xiao , Ivan Beschastnikh , David S. Rosenblum , Changsheng Sun , Sebastian Elbaum , Yun Lin , Jin Song Dong

The impressive success of recent deep neural network (DNN)-based systems is significantly influenced by the high-quality datasets used in training. However, the effects of the datasets, especially how they interact with each other, remain…

Computation and Language · Computer Science 2023-10-18 Esmat Sahak , Zining Zhu , Frank Rudzicz

Machine Learning as a Service (MLaaS) platforms have gained popularity due to their accessibility, cost-efficiency, scalability, and rapid development capabilities. However, recent research has highlighted the vulnerability of cloud-based…

Cryptography and Security · Computer Science 2024-10-23 Hongwei Yao , Zheng Li , Haiqin Weng , Feng Xue , Zhan Qin , Kui Ren

Deep Neural Networks (DNNs) are intensively used to solve a wide variety of complex problems. Although powerful, such systems require manual configuration and tuning. To this end, we view DNNs as configurable systems and propose an…

Machine Learning · Computer Science 2019-04-10 Salah Ghamizi , Maxime Cordy , Mike Papadakis , Yves Le Traon

Recently, community has paid increasing attention on model scaling and contributed to developing a model family with a wide spectrum of scales. Current methods either simply resort to a one-shot NAS manner to construct a non-structural and…

Computer Vision and Pattern Recognition · Computer Science 2022-07-18 Jiyang Xie , Xiu Su , Shan You , Zhanyu Ma , Fei Wang , Chen Qian

Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-world DNNs is an important step towards their wider…

Logic in Computer Science · Computer Science 2020-08-11 Sumathi Gokulanathan , Alexander Feldsher , Adi Malca , Clark Barrett , Guy Katz

Recently, AI research has primarily focused on large language models (LLMs), and increasing accuracy often involves scaling up and consuming more power. The power consumption of AI has become a significant societal issue; in this context,…

Artificial Intelligence · Computer Science 2024-08-21 Baekryun Seong , Jieung Kim , Sang-Ki Ko

Standard deep neural networks (DNNs) are commonly trained in an end-to-end fashion for specific tasks such as object recognition, face identification, or character recognition, among many examples. This specificity often leads to…

Computer Vision and Pattern Recognition · Computer Science 2020-07-14 Raphaël Achddou , J. Matias di Martino , Guillermo Sapiro

In recent decades, Industrial Fault Diagnosis (IFD) has emerged as a crucial discipline concerned with detecting and gathering vital information about industrial equipment's health condition, thereby facilitating the identification of…

Neural and Evolutionary Computing · Computer Science 2024-10-28 Huan Wang , Yan-Fu Li , Konstantinos Gryllias

Advances in deep neural network (DNN) based molecular property prediction have recently led to the development of models of remarkable accuracy and generalization ability, with graph convolution neural networks (GCNNs) reporting…

Machine Learning · Computer Science 2019-10-09 Gabriele Scalia , Colin A. Grambow , Barbara Pernici , Yi-Pei Li , William H. Green

Large neural networks are typically trained for a fixed computational budget, creating a rigid trade-off between performance and efficiency that is ill-suited for deployment in resource-constrained or dynamic environments. Existing…

Machine Learning · Computer Science 2026-03-05 Paulius Rauba , Mihaela van der Schaar

Softmax attention is the principle backbone of foundation models for various artificial intelligence applications, yet its quadratic complexity in sequence length can limit its inference throughput in long-context settings. To address this…

Machine Learning · Computer Science 2024-12-10 Jerome Sieber , Carmen Amo Alonso , Alexandre Didier , Melanie N. Zeilinger , Antonio Orvieto

Deep Neural Network (DNN) models are increasingly evaluated using new replication test datasets, which have been carefully created to be similar to older and popular benchmark datasets. However, running counter to expectations, DNN…

Machine Learning · Computer Science 2022-09-07 Esla Timothy Anzaku , Haohan Wang , Arnout Van Messem , Wesley De Neve

This study is focused on determining the potential of using deep neural networks (DNNs) to predict the ultimate bearing capacity of shallow foundation in situations when the experimental data which may be used to train networks is scarce.…

Neural and Evolutionary Computing · Computer Science 2018-10-23 Marta Bagińska , Piotr E. Srokosz

The energy-efficient and brain-like information processing abilities of Spiking Neural Networks (SNNs) have attracted considerable attention, establishing them as a crucial element of brain-inspired computing. One prevalent challenge…

Neural and Evolutionary Computing · Computer Science 2025-10-27 Zhichao Zhu , Yang Qi , Wenlian Lu , Zhigang Wang , Lu Cao , Jianfeng Feng

To improve predictive models for STEM applications, supplemental physics-based features computed from input parameters are introduced into single and multiple layers of a deep neural network (DNN). While many studies focus on informing DNNs…

Emerging Technologies · Computer Science 2024-09-02 Nicholus R. Clinkinbeard , Nicole N. Hashemi

The increase of available large clinical and experimental datasets has contributed to a substantial amount of important contributions in the area of biomedical image analysis. Image segmentation, which is crucial for any quantitative…

Computer Vision and Pattern Recognition · Computer Science 2022-03-29 Nikhil Kumar Tomar , Debesh Jha , Michael A. Riegler , Håvard D. Johansen , Dag Johansen , Jens Rittscher , Pål Halvorsen , Sharib Ali

Deep neural networks (DNNs) play a crucial role in the field of machine learning, demonstrating state-of-the-art performance across various application domains. However, despite their success, DNN-based models may occasionally exhibit…

Machine Learning · Computer Science 2024-07-02 Guy Amir , Osher Maayan , Tom Zelazny , Guy Katz , Michael Schapira

Spiking Neural Networks (SNNs) that operate in an event-driven manner and employ binary spike representation have recently emerged as promising candidates for energy-efficient computing. However, a cost bottleneck arises in obtaining…

Neural and Evolutionary Computing · Computer Science 2024-01-22 Yunpeng Yao , Man Wu , Zheng Chen , Renyuan Zhang