Xingwu Guo

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Demand Forecasting

Formal Verification

Top Venues

Publications

Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) (2023)
Zhenli Deng, Fangzhao Deng, Meng Yang, Xingwu Guo, Jianan Si, Boning Yu, Boxiang Feng
Transformer-Based Multi-industry Electricity Demand Forecasting. ICAI (2) (2023)
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. CoRR (2023)
Fangzhao Deng, Hujun Li, Zhenli Deng, Jianan Si, Boning Yu, Xingwu Guo, Yizhou Zeng
TimesNet Model for Multi-industry Electricity Demand Forecasting. ICAI (2) (2023)
Yao Lu, Shuo Yin, Meng Yang, Man Jin, Xin Wang, Zhe Chai, Xingwu Guo, Xing Chen
Sign Confirmation Analysis of Congestion Surplus in Two-node Simple Power System based on Nodal Marginal Electricity Price. ICCSIE (2022)
Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE (2021)