arrow
Back
H

Haoze Wu

amherst college

10H-index
70Paper Count
765Citation Count
Published Papers 8
Publication Date
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
err2026-01-01
err0
PREAI
errElboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
errShare
errSave
Satisfiability modulo theories for verifying MILP certificates
err2026-01-01
err0
PREAI
errWood, Kenan; Zhou, Runtian; Wu, Haoze; Mendes, Hammurabi; Pulaj, Jonad
errShare
errSave
Spatiotemporal distribution pattern and mechanism analysis of city-level happiness based on facial cognition in China: An age difference perspective
errCities
IF6.6
err2025-09-24
err0
PREAI
errXiaoqing Song; Shuo Gong; Zongxin Quan; Wei Jiang; Junjun Zhi; Zhihui Hao; Haoze Wu
errShare
errSave
Using geotagged facial expressions to visualize and characterize different demographic groups' emotion in theme parks
err2024-09-09
err0
errOAAI
errSong, Xiaoqing; Wu, Haoze; Jiang, Wei; Zhi, Junjun; Xia, Xinyu; Long, Yi; Su, Qin
errShare
errSave
Improved Unsupervised Stitching Algorithm for Multiple Environments SuperUDIS
errSENSORS
IF3.5
err2024-08-19
err0
errOAAI
errWu, Haoze; Bao, Chun; Hao, Qun; Cao, Jie; Zhang, Li
errShare
errSave
Global optimization of objective functions represented by ReLU networks
err2021-10-20
err13
errOAAI
errStrong, Christopher A.; Wu, Haoze; Zeljic, Aleksandar; Julian, Kyle D.; Katz, Guy; Barrett, Clark; Kochenderfer, Mykel J.
errShare
errSave