3 papers
cs.CR2026
Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees
Zhiming Chi, Lutan Zhao, Depeng Liu +8
Branch predictors improve instruction-level parallelism in modern processors and are commonly modeled using saturating counters. However, classical saturating counters are determin…
cs.LG2025
Patch Synthesis for Property Repair of Deep Neural Networks
Zhiming Chi, Jianan Ma, Pengfei Yang +4
Deep neural networks (DNNs) are prone to various dependability issues, such as adversarial attacks, which hinder their adoption in safety-critical domains. Recently, NN repair tech…
cs.LG2024
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Zongxin Liu, Zhe Zhao, Fu Song +4
Formal verification provides critical security assurances for neural networks, yet its practical application suffers from the long verification time. This work introduces a novel m…