Yedi Zhang is an author at Stanford University specializing in computer engineering, formal verification, and automated reasoning.
Top concepts
EngineeringVerificationDeep LearningComputer ScienceMachine LearningAutomated ReasoningFormal VerificationComputer EngineeringFormal MethodsDeep Neural Networks
Publications per year
2022–2024
2
2
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Yedi Zhang, Zhe Zhao, Guangke Chen et al. · 2022 · 21 citations · Full text
Convolutional Neural Network, Engineering, Machine Learning +18
Rows per page
1–2 of 2