Search Results for author:
Found 38 papers, 15 papers with code
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
Due to the vast testing space, the increasing demand for effective and efficient testing of deep neural networks (DNNs) has led to the development of various DNN test case prioritization techniques.
LLaVA-SG: Leveraging Scene Graphs as Visual Semantic Expression in Vision-Language Models
Recent advances in large vision-language models (VLMs) typically employ vision encoders based on the Vision Transformer (ViT) architecture.
Recording Brain Activity While Listening to Music Using Wearable EEG Devices Combined with Bidirectional Long Short-Term Memory Networks
The Bi-LSTM-AttGW model achieved 98. 28% accuracy on the SEED dataset and 92. 46% on the DEAP dataset in multi-class emotion recognition tasks, significantly outperforming traditional models such as SVM and EEG-Net.
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection
To the best of our knowledge, this is the first adversarial example-free method that exploits neuron functionality for DNN copyright protection.
Towards Real World Debiasing: A Fine-grained Analysis On Spurious Correlation
To answer the questions, we revisit biased distributions in existing benchmarks and real-world datasets, and propose a fine-grained framework for analyzing dataset bias by disentangling it into the magnitude and prevalence of bias.
S-Eval: Automatic and Adaptive Test Generation for Benchmarking Safety Evaluation of Large Language Models
Large Language Models have gained considerable attention for their revolutionary capabilities.
Improving Detection in Aerial Images by Capturing Inter-Object Relationships
In many image domains, the spatial distribution of objects in a scene exhibits meaningful patterns governed by their semantic relationships.
Tackling Noisy Labels with Network Parameter Additive Decomposition
Given data with noisy labels, over-parameterized deep networks suffer overfitting mislabeled data, resulting in poor generalization.
YAYI 2: Multilingual Open-Source Large Language Models
As the latest advancements in natural language processing, large language models (LLMs) have achieved human-level language understanding and generation abilities in many real-world tasks, and even have been regarded as a potential path to the artificial general intelligence.
Feedback RoI Features Improve Aerial Object Detection
Neuroscience studies have shown that the human visual system utilizes high-level feedback information to guide lower-level perception, enabling adaptation to signals of different characteristics.
MSE-Nets: Multi-annotated Semi-supervised Ensemble Networks for Improving Segmentation of Medical Image with Ambiguous Boundaries
Medical image segmentation annotations exhibit variations among experts due to the ambiguous boundaries of segmented objects and backgrounds in medical images.
MyriadAL: Active Few Shot Learning for Histopathology
To this end, we introduce an active few shot learning framework, Myriad Active Learning (MAL), including a contrastive-learning encoder, pseudo-label generation, and novel query sample selection in the loop.
Improving Scene Graph Generation with Superpixel-Based Interaction Learning
(ii) We explore intra-entity and cross-entity interactions among the superpixels to enrich fine-grained interactions between entities at an earlier stage.
Cross-Modality Time-Variant Relation Learning for Generating Dynamic Scene Graphs
In this paper, we propose a Time-variant Relation-aware TRansformer (TR$^2$), which aims to model the temporal change of relations in dynamic scene graphs.
FairRec: Fairness Testing for Deep Recommender Systems
Given the testing report, by adopting a simple re-ranking mitigation strategy on these identified disadvantaged groups, we show that the fairness of DRSs can be significantly improved.
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination
The experiment results show that TESTSGDis effective and efficient in identifying and measuring such subtle group discrimination that has never been revealed before.
Keyword Spotting System and Evaluation of Pruning and Quantization Methods on Low-power Edge Microcontrollers
The result also verified that the performance improvement for quantization and SIMD instruction.
VeriFi: Towards Verifiable Federated Unlearning
One desirable property for FL is the implementation of the right to be forgotten (RTBF), i. e., a leaving participant has the right to request to delete its private data from the global model.
Repairing Adversarial Texts through Perturbation
Furthermore, such attacks are impossible to eliminate, i. e., the adversarial perturbation is still possible after applying mitigation methods such as adversarial training.
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification
To overcome the challenges, we propose NeuronFair, a new DNN fairness testing framework that differs from previous work in several key aspects: (1) interpretable - it quantitatively interprets DNNs' fairness violations for the biased decision; (2) effective - it uses the interpretation results to guide the generation of more diverse instances in less time; (3) generic - it can handle both structured and unstructured data.
Fairness Testing of Deep Image Classification with Adequacy Metrics
DeepFAIT consists of several important components enabling effective fairness testing of deep image classification applications: 1) a neuron selection strategy to identify the fairness-related neurons; 2) a set of multi-granularity adequacy metrics to evaluate the model's fairness; 3) a test selection algorithm for fixing the fairness issues efficiently.
EllipseNet: Anchor-Free Ellipse Detection for Automatic Cardiac Biometrics in Fetal Echocardiography
In this paper, we present an anchor-free ellipse detection network, namely EllipseNet, which detects the cardiac and thoracic regions in ellipse and automatically calculates the CTR and cardiac axis for fetal cardiac biometrics in 4-chamber view.
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
In this work, we bridge the gap by proposing a scalable and effective approach for systematically searching for discriminatory samples while extending existing fairness testing approaches to address a more challenging domain, i. e., text classification.
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated research into a multitude of attack detection mechanisms, including anomaly detectors based on neural network models.
Attack as Defense: Characterizing Adversarial Examples using Robustness
Though various defense mechanisms have been proposed to improve robustness of deep learning software, many of them are ineffective against adaptive attacks.
Disk, Corona, Jet Connection in the Intermediate State of MAXI J1820+070 Revealed by NICER Spectral-Timing Analysis
We find the corona expansion (as probed by reverberation) precedes a radio flare by ~5 days, which may suggest that the hard-to-soft transition is marked by the corona expanding vertically and launching a jet knot that propagates along the jet stream at relativistic velocities.
High Energy Astrophysical Phenomena
A Deep Graph Wavelet Convolutional Neural Network for Semi-supervised Node Classification
Graph convolutional neural network provides good solutions for node classification and other tasks with non-Euclidean data.
RobOT: Robustness-Oriented Testing for Deep Learning Systems
A key part of RobOT is a quantitative measurement on 1) the value of each test case in improving model robustness (often via retraining), and 2) the convergence quality of the model robustness improvement.
Software Engineering
Towards Repairing Neural Networks Correctly
Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication).
Improving Neural Network Verification through Spurious Region Guided Refinement
The core idea is to make use of the obtained constraints of the abstraction to infer new bounds for the neurons.
Towards Plausible Differentially Private ADMM Based Distributed Machine Learning
In PP-ADMM, each agent approximately solves a perturbed optimization problem that is formulated from its local private data in an iteration, and then perturbs the approximate solution with Gaussian noise to provide the DP guarantee.
Water Supply Prediction Based on Initialized Attention Residual Network
Real-time and accurate water supply forecast is crucial for water plant.
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
In this work, we conduct an empirical study to evaluate the relationship between coverage, robustness and attack/defense metrics for DNN.
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
In this work, we propose an approach to extract probabilistic automata for interpreting an important class of neural networks, i. e., recurrent neural networks.
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing
We thus first propose a measure of `sensitivity' and show empirically that normal samples and adversarial samples have distinguishable sensitivity.
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing
Recently, it has been shown that deep neural networks (DNN) are subject to attacks through adversarial samples.
Toward `verifying' a Water Treatment System
As the system is too complicated to be manually modeled, we apply latest automatic model learning techniques to construct a set of Markov chains through abstraction and refinement, based on two long system execution logs (one for training and the other for testing).
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
The other is a probabilistic model based on which the given property is `verified'.
Software Engineering
