3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2024
Inferring Properties of Graph Neural Networks
Dat Nguyen, Hieu M. Vu, Cong-Thanh Le +4
We propose GNNInfer, the first automatic property inference technique for GNNs. To tackle the challenge of varying input structures in GNNs, GNNInfer first identifies a set of repr…
cs.SE2024★ 3 cited
Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing
Thanh Le-Cong, Dat Nguyen, Bach Le +1
In this paper, we propose shifting the focus of robustness evaluation for Neural Program Repair (NPR) techniques toward naturally-occurring data transformations. To accomplish this…