335 citations · 802 across the 23 of their papers we have counts for
3 papers · 1 filter
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination
Mengdi Zhang, Jun Sun, Jingyi Wang +1
Discrimination has been shown in many machine learning applications, which calls for sufficient fairness testing before their deployment in ethic-relevant domains such as face reco…
Causality-based Neural Network Repair
Bing Sun, Jun Sun, Hong Long Pham +1
Neural networks have had discernible achievements in a wide range of applications. The wide-spread adoption also raises the concern of their dependability and reliability. Similar…
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Kun Wang, Jingyi Wang, Christopher M. Poskitt +3
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is cr…