6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.IT2023★ 6 cited
Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems
Mengyu Zhao, Shirin Jalali
Snapshot compressive imaging (SCI) systems have gained significant attention in recent years. While previous theoretical studies have primarily focused on the performance analysis…
cs.AI2023★ 1 cited
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…