Concepedia

Author

Tang-Hao-Ran Zhang

National University of Defense Technology

Also Known As

Tang-Hao-Ran Zhang

1

Publications

24

Citations

1

H-Index

6

Concepts

All Affiliations

National University of Defense Technology
TZ

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

24

2

Computer Science

1

1

24

3

Deep Learning

1

1

24

4

Automated Reasoning

1

1

24

5

Formal Verification

1

1

24

Tang-Hao-Ran Zhang

×

1

Publications

24

Citations

1

H-Index

YearCitations

Verifying ReLU Neural Networks from a Model Checking Perspective

Wanwei Liu, Fu Song, Tang-Hao-Ran Zhang,

Journal of Computer Science and Technology

2020

24

Page 1