English
Related papers

Related papers: Assessing Superposition-Targeted Coverage Criteria…

200 papers

Deep neural networks (DNNs) have achieved tremendous success in computer vision, natural language processing, and scientific and engineering domains. However, DNNs can make unexpected, incorrect, yet overconfident predictions, leading to…

Machine Learning · Computer Science 2025-12-16 Wenchong He , Zhe Jiang , Tingsong Xiao , Zelin Xu , Yukun Li

Neural networks have emerged as essential components in safety-critical applications -- these use cases demand complex, yet trustworthy computations. Binarized Neural Networks (BNNs) are a type of neural network where each neuron is…

Machine Learning · Computer Science 2025-07-08 Jiong Yang , Yong Kiam Tan , Mate Soos , Magnus O. Myreen , Kuldeep S. Meel

Modern quantum engineering techniques enabled successful foundational tests of quantum mechanics. Yet, the universal validity of quantum postulates is an open question. Here we propose a new theoretical framework of Q-data tests, which…

Quantum Physics · Physics 2022-06-29 Michał Eckstein , Paweł Horodecki

The vulnerability to adversarial attacks has been a critical issue for deep neural networks. Addressing this issue requires a reliable way to evaluate the robustness of a network. Recently, several methods have been developed to compute…

Machine Learning · Computer Science 2019-05-20 Ching-Yun Ko , Zhaoyang Lyu , Tsui-Wei Weng , Luca Daniel , Ngai Wong , Dahua Lin

The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and…

Artificial Intelligence · Computer Science 2018-05-23 Rudy Bunel , Ilker Turkaslan , Philip H. S. Torr , Pushmeet Kohli , M. Pawan Kumar

Recent studies have shown that graph neural networks (GNNs) are vulnerable to adversarial attacks, posing significant challenges to their deployment in safety-critical scenarios. This vulnerability has spurred a growing focus on designing…

Machine Learning · Computer Science 2025-05-27 Tao Wu , Canyixing Cui , Xingping Xian , Shaojie Qiao , Chao Wang , Lin Yuan , Shui Yu

While massive efforts have been investigated in adversarial testing of convolutional neural networks (CNN), testing for recurrent neural networks (RNN) is still limited and leaves threats for vast sequential application domains. In this…

Computation and Language · Computer Science 2021-01-11 Jianmin Guo , Yue Zhao , Quan Zhang , Yu Jiang

We implement a quantum generalization of a neural network on trapped-ion and IBM superconducting quantum computers to classify MNIST images, a common benchmark in computer vision. The network feedforward involves qubit rotations whose…

Quantum communication devices, such as quantum repeaters, quantum memories, or quantum channels, are unavoidably exposed to imperfections. However, the presence of imperfections can be tolerated, as long as we can verify such devices retain…

Quantum Physics · Physics 2011-05-26 Nathan Killoran , Norbert Lütkenhaus

Intermediate-scale quantum devices are becoming more reliable, and may soon be harnessed to solve useful computational tasks. At the same time, common classical methods used to verify their computational output become intractable due to a…

Quantum Physics · Physics 2023-07-03 Johannes Knörzer , Daniel Malz , J. Ignacio Cirac

Quantum Machine Learning (QML) has recently emerged as a highly promising research frontier. Within this domain, Quantum Neural Networks (QNNs),characterized by Variational Quantum Circuits (VQCs) at their core and featuring layers of…

Quantum Physics · Physics 2026-04-30 Ban Q. Tran , Duong M. Chu , Hai T. D. Pham , Viet Q. Nguyen , Quan A. Pham , Susan Mengel

Quantum network coding has been proposed to improve resource utilization to support distributed computation but has not yet been put in to practice. We investigate a particular implementation of quantum network coding using…

Quantization, a commonly used technique to reduce the memory footprint of a neural network for edge computing, entails reducing the precision of the floating-point representation used for the parameters of the network. The impact of such…

Machine Learning · Computer Science 2019-03-27 Abhishek Murthy , Himel Das , Md Ariful Islam

Deep Neural Networks (DNNs) have been extensively used in many areas including image processing, medical diagnostics, and autonomous driving. However, DNNs can exhibit erroneous behaviours that may lead to critical errors, especially when…

Software Engineering · Computer Science 2023-04-21 Zohreh Aghababaeyan , Manel Abdellatif , Lionel Briand , Ramesh S , Mojtaba Bagherzadeh

Quantum Neural Networks (QNNs) have shown significant value across domains, with well-trained QNNs representing critical intellectual property often deployed via cloud-based QNN-as-a-Service (QNNaaS) platforms. Recent work has examined QNN…

Quantum Physics · Physics 2025-04-02 Zhenxiao Fu , Leyi Zhao , Xuhong Zhang , Yilun Xu , Gang Huang , Fan Chen

With the growing synergy between deep learning and quantum computing, Quantum Neural Networks (QNNs) have emerged as a promising paradigm by leveraging quantum parallelism and entanglement. However, testing QNNs remains underexplored due to…

Software Engineering · Computer Science 2026-04-23 Minqi Shao , Shangzhou Xia , Jianjun Zhao

Time series prediction is essential for human activities in diverse areas. A common approach to this task is to harness Recurrent Neural Networks (RNNs). However, while their predictions are quite accurate, their learning process is complex…

Quantum Physics · Physics 2025-05-30 Michał Siemaszko , Adam Buraczewski , Bertrand Le Saux , Magdalena Stobińska

Despite the success of Quantum Neural Networks (QNNs) in decision-making systems, their fairness remains unexplored, as the focus primarily lies on accuracy. This work conducts a design space exploration, unveiling QNN unfairness, and…

Quantum Physics · Physics 2024-03-19 Ruhan Wang , Fahiz Baba-Yara , Fan Chen

Quantum networks are a new paradigm of complex networks, allowing us to harness networked quantum technologies and to develop a quantum internet. But how robust is a quantum network when its links and nodes start failing? We show that…

Quantum Physics · Physics 2022-08-09 Bruno C. Coutinho , William J. Munro , Kae Nemoto , Yasser Omar

In this paper, we introduce a quantum extension of classical DNN, QDNN. The QDNN consisting of quantum structured layers can uniformly approximate any continuous function and has more representation power than the classical DNN. It still…

Quantum Physics · Physics 2020-10-20 Chen Zhao , Xiao-Shan Gao