3 papers
cs.LG2024
Harnessing Neuron Stability to Improve DNN Verification
Hai Duong, Dong Xu, ThanhVu Nguyen +1
Deep Neural Networks (DNN) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs are susceptible to bugs and attacks. Th…
cs.PL2023
COOLIO: A Language Support Extension for the Classroom Object Oriented Language
Linhan Li, ThanhVu Nguyen
COOL is an Object-Oriented programming language used to teach compiler design in many undergraduate and graduate courses. Because most students are unfamiliar with the language and…
cs.SE2022
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…