2 papers
cs.SE2023
Expediting Neural Network Verification via Network Reduction
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
A wide range of verification methods have been proposed to verify the safety properties of deep neural networks ensuring that the networks function correctly in critical applicatio…
cs.AI2018
Correlation Heuristics for Constraint Programming
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Effective general-purpose search strategies are an important component in Constraint Programming. We introduce a new idea, namely, using correlations between variables to guide sea…