Haoze Wu

Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · arXiv (Cornell University) · 2020 · 24 citations · Full text

Artificial Intelligence, Cluster Computing, Engineering +20

G2SAT: Learning to Generate SAT Formulas

Jiaxuan You, Haoze Wu, Clark Barrett et al. · PubMed · 2019 · 21 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · reposiTUm (TU Wien) · 2020 · 18 citations · Full text

Artificial Intelligence, Cluster Computing, Engineering +20

Cross-Fiber Spatial-Temporal Co-enhanced Networks for Video Action Recognition

Haoze Wu, Zheng-Jun Zha, Xin Wen et al. · 2019 · 12 citations

Convolutional Neural Network, Image Analysis, Machine Learning +12

Towards Efficient Verification of Quantized Neural Networks

Huang Pei, Haoze Wu, Yuting Yang et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2024 · 12 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Quantization Replaces +15