1 citations · 2 across the 3 of their papers we have counts for
4 papers
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
Yixiao Yang
The control logic models built by Simulink or Ptolemy have been widely used in industry scenes. It is an urgent need to ensure the safety and security of the control logic models.…
Dynamic Proximal Unrolling Network for Compressive Imaging
Yixiao Yang, Ran Tao, Kaixuan Wei +1
Compressive imaging aims to recover a latent image from under-sampled measurements, suffering from a serious ill-posed inverse problem. Recently, deep neural networks have been app…
Single Image Reflection Removal through Cascaded Refinement
Chao Li, Yixiao Yang, Kun He +2
We address the problem of removing undesirable reflections from a single image captured through a glass surface, which is an ill-posed, challenging but practically important proble…
Improve Language Modelling for Code Completion through Statement Level Language Model based on Statement Embedding Generated by BiLSTM
Yixiao Yang
Language models such as RNN, LSTM or other variants have been widely used as generative models in natural language processing. In last few years, taking source code as natural lang…