papers
Publications (15)
cs.CE2014
Calculation of Generalized Polynomial-Chaos Basis Functions and Gauss Quadrature Rules in Hierarchical Uncertainty Quantification
Zheng Zhang, Tarek A. El-Moselhy, Ibrahim +2
cs.LG2019
POPQORN: Quantifying Robustness of Recurrent Neural Networks
Ching-Yun Ko, Zhaoyang Lyu, Tsui-Wei Weng +3
stat.ML2018
Towards Fast Computation of Certified Robustness for ReLU Networks
Tsui-Wei Weng, Huan Zhang, Hongge Chen +5
cs.LG2018
On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm
Tsui-Wei Weng, Huan Zhang, Pin-Yu Chen +3
math.NA2017
Computing low-rank approximations of large-scale matrices with the Tensor Network randomized SVD
Kim Batselier, Wenjian Yu, Luca Daniel +1
cs.CE2015
Probabilistic Power Flow Computation via Low-Rank and Sparse Tensor Recovery
Zheng Zhang, Hung Dinh Nguyen, Konstantin Turitsyn +1
cs.CE2014
Stochastic Testing Simulator for Integrated Circuits and MEMS: Hierarchical and Sparse Techniques
Zheng Zhang, Xiu Yang, Giovanni Marucci +5
cs.LG2019
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach
Tsui-Wei Weng, Pin-Yu Chen, Lam M. Nguyen +3
cs.CE2016
A Big-Data Approach to Handle Process Variations: Uncertainty Quantification by Tensor Recovery
Zheng Zhang, Tsui-Wei Weng, Luca Daniel
cs.LG2018
Efficient Neural Network Robustness Certification with General Activation Functions
Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen +2
stat.ML2018
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach
Tsui-Wei Weng, Huan Zhang, Pin-Yu Chen +5
cs.CE2014
Stochastic Testing Method for Transistor-Level Uncertainty Quantification Based on Generalized Polynomial Chaos
Zheng Zhang, Tarek A. El-Moselhy, Ibrahim +2
stat.ML2018
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
Akhilan Boopathy, Tsui-Wei Weng, Pin-Yu Chen +2
cs.CE2014
Efficient Uncertainty Quantification for the Periodic Steady State of Forced and Autonomous Circuits
Zheng Zhang, Tarek A. El-Moselhy, Paolo Maffezzoni +3
cs.CE2014
Uncertainty Quantification for Integrated Circuits: Stochastic Spectral Methods
Zheng Zhang, Ibrahim, M. Elfadel +1