1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
Liang Zhang, Nathaniel Xu, Pengfei Yang +3
Robust pedestrian trajectory forecasting is crucial to developing safe autonomous vehicles. Although previous works have studied adversarial robustness in the context of trajectory…
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu +4
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its…
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers
Cheng-Chao Huang
In this paper, we study linear forms \[λ= β_1\mathrm{e}^{α_1}+\cdots+β_m\mathrm{e}^{α_m},\] where and are algebraic numbers. An explicit lower bound for the absolute va…