Hai Duong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. | Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer |
| 2024 | TACAS | Training for Verification: Increasing Neuron Stability to Scale DNN Verification. | Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer |
| 2022 | ICSE | SymInfer: Inferring Numerical Invariants using Symbolic States. | ThanhVu Nguyen, KimHao Nguyen, Hai Duong |