Zhiming Chi

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Satisfiability Problem

Formal Verification

Malicious Users

Top Venues

Publications

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR (2024)
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR (2023)