activity
20222026
most citedEfficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees

10 citations · 12 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2022★ 1 cited

MIXCODE: Enhancing Code Classification by Mixup-Based Data Augmentation

Zeming Dong, Qiang Hu, Yuejun Guo +5

Inspired by the great success of Deep Neural Networks (DNNs) in natural language processing (NLP), DNNs have been increasingly applied in source code analysis and attracted signifi…