中文
相关论文

相关论文: Scaling Model Checking for DNN Analysis via State-…

200 篇论文

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…

计算机视觉与模式识别 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算与语言 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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,…

人工智能 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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.…

神经与进化计算 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

新兴技术 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

机器学习 · 计算机科学 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…

神经与进化计算 · 计算机科学 2024-01-22 Yunpeng Yao , Man Wu , Zheng Chen , Renyuan Zhang