Nguyen to receive NSF CAREER Award for NeuralSAT: A constraint-solving framework for verifying deep neural networks
Thanhvu Nguyen, Assistant Professor, Computer Science, is set to receive funding for the project: "CAREER: NeuralSAT: A Constraint-Solving Framework for Verifying Deep Neural Networks."
Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems. However, just like traditional software, DNNs can have bugs and be attacked. This naturally raises the question of how DNNs should be tested, validated, and ultimately verified to meet the ...












