Concepedia

Kaiyuan Wang

KW

Statistics

Publications

34

Citations

1.2K

H-Index

19

Active since

2007

Affiliations

The University of Texas at Austin(Current)

Tsinghua University

Key Laboratory of Nuclear Radiation and Nuclear Energy Technology

Chinese Academy of Sciences

Google (United States)

Kaiyuan Wang is an author at The University of Texas at Austin specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware TestingComputer EngineeringSoftware EngineeringFormal VerificationVerification

Publications per year

2007–2025

34

Publications

34

Symbolic Discovery of Optimization Algorithms

Xiangning Chen, Liang Chen, Da Huang et al. · arXiv (Cornell University) · 2023 · 166 citations · Full text

Mathematical Programming, Artificial Intelligence, Convolutional Neural Network +19

Inverse design of digital nanophotonic devices using the adjoint method

Kaiyuan Wang, Xinshu Ren, Weijie Chang et al. · Photonics Research · 2020 · 150 citations

Optical Materials, Engineering, Analog Design +17

Real-time object detection based on YOLO-v2 for tiny vehicle object

Xiaohong Han, Jun Chang, Kaiyuan Wang · Procedia Computer Science · 2021 · 144 citations · Full text

Automotive Tracking, Image Classification, Tiny Vehicle Objects +14

Towards practical program repair with on-demand candidate generation

Jinru Hua, Mengshi Zhang, Kaiyuan Wang et al. · 2018 · 141 citations · Full text

Software Maintenance, Engineering, Verification +21

Symbolic Execution for Deep Neural Networks

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang et al. · arXiv (Cornell University) · 2018 · 45 citations · Full text

Convolutional Neural Network, Engineering, Machine Learning +17

1–5 of 34