56 citations · 118 across the 24 of their papers we have counts for
3 papers · 1 filter
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
Yuan Xiao, Yuchen Chen, Shiqing Ma +6
The robustness of neural network classifiers is important in the safety-critical domain and can be quantified by robustness verification. At present, efficient and scalable verific…
An Extractive-and-Abstractive Framework for Source Code Summarization
Weisong Sun, Chunrong Fang, Yuchen Chen +6
(Source) Code summarization aims to automatically generate summaries/comments for a given code snippet in the form of natural language. Such summaries play a key role in helping de…
Code Search based on Context-aware Code Translation
Weisong Sun, Chunrong Fang, Yuchen Chen +3
Code search is a widely used technique by developers during software development. It provides semantically similar implementations from a large code corpus to developers based on t…