Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq

Published in Proceedings of International Symposium on Theoretical Aspects of Software Engineering, 2019

Recommended citation: Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun. "Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq." Proceedings of International Symposium on Theoretical Aspects of Software Engineering. TASE 2019. https://ieeexplore.ieee.org/document/8914103

Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty

Published in Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering, 2020

Recommended citation: Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun. "Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty." Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering. ICSE 2020. https://arxiv.org/abs/2004.11573

kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification

Published in Proceedings of the 10th International Conference on Fundamentals of Software Engineering, 2022

Recommended citation: Xiaoyong Xue, Xiyue Zhang, Meng Sun. "kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification." Proceedings of the 10th International Conference on Fundamentals of Software Engineering. FSEN 2023.

Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks

Published in Journal of Logical and Algebraic Methods in Programming, 2023

Recommended citation: Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun. "Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks." Journal of Logical and Algebraic Methods in Programming. Volume 136, https://doi.org/10.1016/j.jlamp.2023.100907. https://authors.elsevier.com/c/1hnCS8MrKMbfOd

talks

teaching