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