1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2023★ 1 cited
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…
cs.SE2023
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,…
cs.LG2023
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…