10 citations · 18 across the 4 of their papers we have counts for
4 papers
Are We Ready to Embrace Generative AI for Software Q&A?
Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong +8
Stack Overflow, the world's largest software Q&A (SQA) website, is facing a significant traffic drop due to the emergence of generative AI techniques. ChatGPT is banned by Stack Ov…
Adversarial Attacks on Code Models with Discriminative Graph Patterns
Thanh-Dat Nguyen, Yang Zhou, Xuan Bach D. Le +2
Pre-trained language models of code are now widely used in various software engineering tasks such as code generation, code completion, vulnerability detection, etc. This, in turn,…
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai Duong, ThanhVu Nguyen, Matthew Dwyer
Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs can have bugs and can be attacked. To…
Toward the Analysis of Graph Neural Networks
Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen +2
Graph Neural Networks (GNNs) have recently emerged as a robust framework for graph-structured data. They have been applied to many problems such as knowledge graph analysis, social…