Hai Duong

Orcid: 0000-0002-3341-9794

According to our database¹, Hai Duong authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Harnessing Neuron Stability to Improve DNN Verification.

[BibT_eX]

[DOI]

CoRR, 2024

Training for Verification: Increasing Neuron Stability to Scale DNN Verification.

[BibT_eX]

[DOI]

Dong Xu

Nusrat Jahan Mozumder

Hai Duong

Matthew B. Dwyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

A DPLL(T) Framework for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

2022

SymInfer: Inferring Numerical Invariants using Symbolic States.

[BibT_eX]

[DOI]

ThanhVu Nguyen

KimHao Nguyen

Hai Duong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Hai Duong

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...