Search Results for author:
Found 58 papers, 30 papers with code
Regression of Instance Boundary by Aggregated CNN and GCN
In particular, thanks to the proposed aggregation GCN, our network benefits from direct feature learning of the instances’ boundary locations and the spatial information propagation across the image.
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
Considering the fast development of LLMs, this survey does not intend to be complete (although it includes 300 references), especially when it comes to the applications of LLMs in various domains, but rather a collection of organised literature reviews and discussions to support the quick understanding of the safety and trustworthiness issues from the perspective of V&V.
Model-Agnostic Reachability Analysis on Deep Neural Networks
Verification plays an essential role in the formal analysis of safety-critical systems.
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
While LLMs are being quickly applied to many AI application domains, we are interested in the following question: Can safety analysis for safety-critical systems make use of LLMs?
Randomized Adversarial Training via Taylor Expansion
The randomized weights enable our design of a novel adversarial training method via Taylor expansion of a small Gaussian noise, and we show that the new adversarial training method can flatten loss landscape and find flat minima.
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation
Then, based on the distributed optimisation algorithm, an output regulation method is utilised to solve the optimal coordination problem for general linear dynamic systems.
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation.
Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff
Two novel optimisation techniques are presented to achieve AOI-SNNs: a regularisation and a cutoff.
Towards Relation-centered Pooling and Convolution for Heterogeneous Graph Learning Networks
Heterogeneous graph neural network has unleashed great potential on graph representation learning and shown superior performance on downstream tasks such as node classification and clustering.
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
Deep Reinforcement Learning (DRL) has achieved impressive performance in robotics and autonomous systems (RASs).
Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings
In this work, we present CUE, a novel uncertainty estimation method for dense prediction tasks in 3D point clouds.
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability
Interpretability of Deep Learning (DL) models is arguably the barrier in front of trustworthy AI.
Short-term Load Forecasting with Distributed Long Short-Term Memory
With the employment of smart meters, massive data on consumer behaviour can be collected by retailers.
FedRel: An Adaptive Federated Relevance Framework for Spatial Temporal Graph Learning
Spatial-temporal data contains rich information and has been widely studied in recent years due to the rapid development of relevant applications in many fields.
Hierarchical Distribution-Aware Testing of Deep Learning
In this paper, we propose a new robustness testing approach for detecting AEs that considers both the input distribution and the perceptual quality of inputs.
Enhancing Adversarial Training with Second-Order Statistics of Weights
In this paper, we show that treating model weights as random variables allows for enhancing adversarial training through \textbf{S}econd-Order \textbf{S}tatistics \textbf{O}ptimization (S$^2$O) with respect to the weights.
3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs
In this paper, we propose a novel multi-level aggregation network to regress the coordinates of the vertices of a 3D face from a single 2D image in an end-to-end manner.
Counting with Adaptive Auxiliary Learning
This paper proposes an adaptive auxiliary task learning based approach for object counting problems.
STUN: Self-Teaching Uncertainty Estimation for Place Recognition
Then, supervised by the pretrained teacher net, a student net with an additional variance branch is trained to finetune the embedding priors and estimate the uncertainty sample by sample.
Weight Expansion: A New Perspective on Dropout and Generalization
While dropout is known to be a successful regularization technique, insights into the mechanisms that lead to this success are still lacking.
Neuronal Correlation: a Central Concept in Neural Network
This paper proposes to study neural networks through neuronal correlation, a statistical measure of correlated neuronal activity on the penultimate layer.
GPS: A Policy-driven Sampling Approach for Graph Representation Learning
Graph representation learning has drawn increasing attention in recent years, especially for learning the low dimensional embedding at both node and graph level for classification and recommendations tasks.
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance
The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure their functional safety.
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation
Our model is well-suited to obtain global semantic region information while also accommodates local spatial boundary characteristics simultaneously.
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking
While Deep Reinforcement Learning (DRL) provides transformational capabilities to the control of Robotics and Autonomous Systems (RAS), the black-box nature of DRL and uncertain deployment environments of RAS pose new challenges on its dependability.
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications
This tutorial aims to introduce the fundamentals of adversarial robustness of deep learning, presenting a well-structured review of up-to-date techniques to assess the vulnerability of various types of deep learning models to adversarial examples.
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting
Semi-supervised approaches for crowd counting attract attention, as the fully supervised paradigm is expensive and laborious due to its request for a large number of images of dense crowd scenarios and their annotations.
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
The utilisation of Deep Learning (DL) is advancing into increasingly more sophisticated applications.
Learning Robust Variational Information Bottleneck with Reference
We propose a new approach to train a variational information bottleneck (VIB) that improves its robustness to adversarial perturbations.
Detecting Operational Adversarial Examples for Reliable Deep Learning
The utilisation of Deep Learning (DL) raises new challenges regarding its dependability in critical applications.
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Intensive research has been conducted on the verification and validation of deep neural networks (DNNs), aiming to understand if, and how, DNNs can be applied to safety critical applications.
A Little Energy Goes a Long Way: Build an Energy-Efficient, Accurate Spiking Neural Network from Convolutional Neural Network
In this paper, we argue that this trend of "energy for accuracy" is not necessary -- a little energy can go a long way to achieve the near-zero accuracy loss.
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Given the pressing need for assuring algorithmic transparency, Explainable AI (XAI) has emerged as one of the key areas of AI research.
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?
This paper studies the novel concept of weight correlation in deep neural networks and discusses its impact on the networks' generalisation ability.
Embedding and Extraction of Knowledge in Tree Ensemble Classifiers
Whilst, as the increasing use of machine learning models in security-critical applications, the embedding and extraction of malicious knowledge are equivalent to the notorious backdoor attack and its defence, respectively.
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations
Extensive experiments are conducted on CIFAR-10 and ImageNet datasets with six deep neural network models including GoogleLeNet, VGG16/19, ResNet101/152, and DenseNet121.
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
This paper studies the novel concept of weight correlation in deep neural networks and discusses its impact on the networks' generalisation ability.
Towards the Quantification of Safety Risks in Deep Neural Networks
In this paper, we define safety risks by requesting the alignment of the network's decision with human perception.
CasGCN: Predicting future cascade growth based on information diffusion graph
In this paper, we propose a novel deep learning architecture for cascade growth prediction, called CasGCN, which employs the graph convolutional network to extract structural features from a graphical input, followed by the application of the attention mechanism on both the extracted features and the temporal information before conducting cascade size prediction.
Adaptable and Verifiable BDI Reasoning
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected.
Generating Adversarial Inputs Using A Black-box Differential Technique
Algorithmically, DAEGEN uses a local search-based optimization algorithm to find DIAEs by iteratively perturbing an input to maximize the difference of two models on predicting the input.
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data.
Reliability Validation of Learning Enabled Vehicle Tracking
However, it is unclear if and how the adversarial examples over learning components can affect the overall system-level reliability.
Coverage Guided Testing for Recurrent Neural Networks
The test metrics and test case generation algorithm are implemented into a tool TestRNN, which is then evaluated on a set of LSTM benchmarks.
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots.
Explaining Image Classifiers using Statistical Fault Localization
The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for "Explainable AI".
HITSZ-ICRC: A Report for SMM4H Shared Task 2019-Automatic Classification and Extraction of Adverse Effect Mentions in Tweets
This is the system description of the Harbin Institute of Technology Shenzhen (HITSZ) team for the first and second subtasks of the fourth Social Media Mining for Health Applications (SMM4H) shared task in 2019.
testRNN: Coverage-guided Testing on Recurrent Neural Networks
Recurrent neural networks (RNNs) have been widely applied to various sequential tasks such as text processing, video recognition, and molecular property prediction.
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Several verification approaches have been developed to automatically prove or disprove safety properties of DNNs.
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability
In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks.
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
In this paper, we study two variants of pointwise robustness, the maximum safe radius problem, which for a given input sample computes the minimum distance to an adversarial example, and the feature robustness problem, which aims to quantify the robustness of individual features to adversarial perturbations.
Reachability Analysis of Deep Neural Networks with Provable Guarantees
Verifying correctness of deep neural networks (DNNs) is challenging.
Concolic Testing for Deep Neural Networks
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program.
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm
In this paper we focus on the $L_0$ norm and aim to compute, for a trained DNN and an input, the maximal radius of a safe norm ball around the input within which there are no adversarial examples.
Testing Deep Neural Networks
In this paper, inspired by the MC/DC coverage criterion, we propose a family of four novel test criteria that are tailored to structural features of DNNs and their semantics.
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
In this paper, we focus on image classifiers and propose a feature-guided black-box approach to test the safety of deep neural networks that requires no such knowledge.
Safety Verification of Deep Neural Networks
Our method works directly with the network code and, in contrast to existing methods, can guarantee that adversarial examples, if they exist, are found for the given region and family of manipulations.
Normative Multiagent Systems: A Dynamic Generalization
Social norms are powerful formalism in coordinating autonomous agents' behaviour to achieve certain objectives.
