Concepedia

Tang-Hao-Ran Zhang

TZ

1

Publications

24

Citations

1

H-Index

2020

Active since

Affiliations

National University of Defense Technology(Current)

Tang-Hao-Ran Zhang is an author at National University of Defense Technology specializing in verification, formal verification, and automated reasoning.

Top concepts

EngineeringVerificationDeep LearningComputer ScienceAutomated ReasoningFormal Verification

Publications per year

2020–2020

1

Publications

1

Verifying ReLU Neural Networks from a Model Checking Perspective

Wanwei Liu, Fu Song, Tang-Hao-Ran Zhang et al. · Journal of Computer Science and Technology · 2020 · 24 citations

Engineering, Automated Reasoning, Verification +7

Rows per page

1–1 of 1