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.AI2026
TrajRS: Towards Certified Robustness in Pedestrian Trajectory Prediction
Liang Zhang, Gaojie Jin, Yao Shi +4
The robustness of trajectory prediction models is crucial for developing safe autonomous driving systems. Adversarial attacks on trajectory prediction can significantly impair the…
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…