2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2022★ 2 cited
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
Yuan Xiao, Yuchen Chen, Shiqing Ma +6
The robustness of neural network classifiers is important in the safety-critical domain and can be quantified by robustness verification. At present, efficient and scalable verific…
eess.IV2019★ 1 cited
Enhanced Seismic Imaging with Predictive Neural Networks for Geophysics
Ping Lu, Yanyan Zhang, Jianxiong Chen +2
We propose a predictive neural network architecture that can be utilized to update reference velocity models as inputs to the full waveform inversion. Deep learning models are expl…