Hai Duong

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Propositional Logic

Top Venues

Publications

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. CoRR (2024)
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) (2024)
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Hai Duong, Lam Hoang, Bac Le
Controlling LIME Kernel Width to Achieve Comprehensible Explanations on Tabular Data. IUKM (2) (2023)
Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR (2023)
ThanhVu Nguyen, KimHao Nguyen, Hai Duong
SymInfer: Inferring Numerical Invariants using Symbolic States. ICSE-Companion (2022)