1 citations · 1 across the 4 of their papers we have counts for
4 papers
Contrastive Learning-based User Identification with Limited Data on Smart Textiles
Yunkang Zhang, Ziyu Wu, Zhen Liang +4
Pressure-sensitive smart textiles are widely applied in the fields of healthcare, sports monitoring, and intelligent homes. The integration of devices embedded with pressure sensin…
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao +5
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectivenes…
Repairing Deep Neural Networks Based on Behavior Imitation
Zhen Liang, Taoran Wu, Changyuan Zhao +4
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and test…
MassNet: A Deep Learning Approach for Body Weight Extraction from A Single Pressure Image
Ziyu Wu, Quan Wan, Mingjie Zhao +5
Body weight, as an essential physiological trait, is of considerable significance in many applications like body management, rehabilitation, and drug dosing for patient-specific tr…