Dong Xu

Orcid: 0000-0001-5643-7197

Affiliations:

University of Virginia, Charlottesville, VA, USA

According to our database¹, Dong Xu authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

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

2020

Systematic Generation of Diverse Benchmarks for DNN Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Formal Language Constraints for Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2019

Refactoring Neural Networks for Verification.

[BibT_eX]

[DOI]

CoRR, 2019

Dong Xu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...