English
Related papers

Related papers: Learning test generators for cyber-physical system…

200 papers

Generative adversarial networks (GANs) represent a powerful tool for classical machine learning: a generator tries to create statistics for data that mimics those of a true data set, while a discriminator tries to discriminate between the…

Quantum Physics · Physics 2018-07-31 Seth Lloyd , Christian Weedbrook

Auto-encoding generative adversarial networks (GANs) combine the standard GAN algorithm, which discriminates between real and model-generated data, with a reconstruction loss given by an auto-encoder. Such models aim to prevent mode…

Machine Learning · Statistics 2017-10-24 Mihaela Rosca , Balaji Lakshminarayanan , David Warde-Farley , Shakir Mohamed

Classical generative adversarial networks (GANs) have been applied to generate adversarial network traffic capable of attacking intrusion detection systems, but they suffer from shortcomings such as the need for large amounts of…

Machine Learning · Computer Science 2026-05-08 Prateek Paudel , Nitin Jha , Abhishek Parakh , Mahadevan Subramaniam

Generative models and in particular Generative Adversarial Networks (GANs) have become very popular and powerful data generation tool. In recent years, major progress has been made in extending this concept into the quantum realm. However,…

Quantum Physics · Physics 2023-09-19 Wiktor Jurasz , Christian B. Mendl

Weakly-supervised learning has become a popular technology in recent years. In this paper, we propose a novel medical image classification algorithm, called Weakly-Supervised Generative Adversarial Networks (WSGAN), which only uses a small…

Computer Vision and Pattern Recognition · Computer Science 2021-12-01 Jiawei Mao , Xuesong Yin , Yuanqi Chang , Qi Huang

GAN is a deep-learning based generative approach to generate contents such as images, languages and speeches. Recently, studies have shown that GAN can also be applied to generative adversarial attack examples to fool the machine-learning…

Machine Learning · Computer Science 2019-11-15 Feng Chen , Yunkai Shang , Bo Xu , Jincheng Hu

Paraphrase generation is an important and challenging natural language processing (NLP) task. In this work, we propose a deep generative model to generate paraphrase with diversity. Our model is based on an encoder-decoder architecture. An…

Computation and Language · Computer Science 2019-10-01 Zhecheng An , Sicong Liu

Generative adversarial networks (GANs) nowadays are capable of producing images of incredible realism. One concern raised is whether the state-of-the-art GAN's learned distribution still suffers from mode collapse, and what to do if so.…

Machine Learning · Computer Science 2021-07-27 Zhenyu Wu , Zhaowen Wang , Ye Yuan , Jianming Zhang , Zhangyang Wang , Hailin Jin

We present a deep neural network based singing voice synthesizer, inspired by the Deep Convolutions Generative Adversarial Networks (DCGAN) architecture and optimized using the Wasserstein-GAN algorithm. We use vocoder parameters for…

Sound · Computer Science 2020-02-13 Pritish Chandna , Merlijn Blaauw , Jordi Bonada , Emilia Gomez

The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could be huge) set "Bad". We introduce a novel approach to solve…

Software Engineering · Computer Science 2007-05-23 Gaoyan Xie , Zhe Dang

Machine learning models, especially neural network (NN) classifiers, have acceptable performance and accuracy that leads to their wide adoption in different aspects of our daily lives. The underlying assumption is that these models are…

The problem of quantum test is formally addressed. The presented method attempts the quantum role of classical test generation and test set reduction methods known from standard binary and analog circuits. QuFault, the authors software…

Quantum Physics · Physics 2007-05-23 Jacob D. Biamonte , Marek A. Perkowski

Common test generators fall into two categories. Generating test inputs at the unit level is fast, but can lead to false alarms when a function is called with inputs that would not occur in a system context. If a generated input at the…

Software Engineering · Computer Science 2019-06-05 Alexander Kampmann , Andreas Zeller

The rapid advancement of fake voice generation technology has ignited a race with detection systems, creating an urgent need to secure the audio ecosystem. However, existing benchmarks suffer from a critical limitation: they typically…

Sound · Computer Science 2025-10-20 Xutao Mao , Ke Li , Cameron Baird , Ezra Xuanru Tao , Dan Lin

The conventional understanding of adversarial training in generative adversarial networks (GANs) is that the discriminator is trained to estimate a divergence, and the generator learns to minimize this divergence. We argue that despite the…

Machine Learning · Statistics 2023-08-09 Mingxuan Yi , Zhanxing Zhu , Song Liu

We study the problem of learning conditional generators from noisy labeled samples, where the labels are corrupted by random noise. A standard training of conditional GANs will not only produce samples with wrong labels, but also generate…

Machine Learning · Statistics 2018-11-09 Kiran Koshy Thekumparampil , Ashish Khetan , Zinan Lin , Sewoong Oh

We propose a simple yet highly effective method that addresses the mode-collapse problem in the Conditional Generative Adversarial Network (cGAN). Although conditional distributions are multi-modal (i.e., having many modes) in practice,…

Machine Learning · Computer Science 2019-01-28 Dingdong Yang , Seunghoon Hong , Yunseok Jang , Tianchen Zhao , Honglak Lee

Functional validation is necessary to detect any errors during quantum computation. There are promising avenues to debug quantum circuits using runtime assertions. However, the existing approaches rely on the expertise of the verification…

Quantum Physics · Physics 2023-03-03 Hasini Witharana , Daniel Volya , Prabhat Mishra

We propose a new approach to train the Generative Adversarial Nets (GANs) with a mixture of generators to overcome the mode collapsing problem. The main intuition is to employ multiple generators, instead of using a single one as in the…

Machine Learning · Computer Science 2017-10-31 Quan Hoang , Tu Dinh Nguyen , Trung Le , Dinh Phung

We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as sequences of input/output pairs: inputs are extracted from the…

Logic in Computer Science · Computer Science 2020-05-15 Massimo Narizzano , Luca Pulina , Armando Tacchella , Simone Vuotto