Yanzhao Xia

Orcid: 0009-0000-2880-4949

According to our database¹, Yanzhao Xia authored at least 2 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Two-level Formal Specifications for Deep Neural Networks.

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2025

2023

A Framework of Formal Specification-Based Data Generation for Deep Neural Networks.

[DOI]

Proceedings of the 12th International Conference on Software and Computer Applications, 2023