Mengyu Zhao | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Moshe Y. Vardi
92 publications
Pengfei Yang
13 publications
Shaowei Cai
11 publications
Shirin Jalali
10 publications
Cheng-Chao Huang
7 publications
Zhiming Chi
1 publication
Zongxin Liu
1 publication

research

∙ 07/15/2023

Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems

Snapshot compressive imaging (SCI) systems have gained significant atten...

0 Mengyu Zhao, et al. ∙

research

∙ 02/10/2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

Constraint solving is an elementary way for verification of deep neural ...

0 Pengfei Yang, et al. ∙

Success!

An error occurred