Dong Xu

Orcid: 0000-0001-5643-7197

Affiliations:
  • University of Virginia, Charlottesville, VA, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Harnessing Neuron Stability to Improve DNN Verification.
Proc. ACM Softw. Eng., 2024

Training for Verification: Increasing Neuron Stability to Scale DNN Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2020
Systematic Generation of Diverse Benchmarks for DNN Verification.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Formal Language Constraints for Markov Decision Processes.
CoRR, 2019

Refactoring Neural Networks for Verification.
CoRR, 2019


  Loading...