research
∙
07/29/2023
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in vario...
share
research
∙
06/27/2023
Verifying Safety of Neural Networks from Topological Perspectives
Neural networks (NNs) are increasingly applied in safety-critical system...
research
∙
05/05/2023
Repairing Deep Neural Networks Based on Behavior Imitation
The increasing use of deep neural networks (DNNs) in safety-critical sys...
research
∙
12/02/2022
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory
Credit assignment problem of neural networks refers to evaluating the cr...
research
∙
10/09/2022
Safety Verification for Neural Networks Based on Set-boundary Analysis
Neural networks (NNs) are increasingly applied in safety-critical system...
research
∙
02/10/2021
On the Properties of Kullback-Leibler Divergence Between Gaussians
Kullback-Leibler (KL) divergence is one of the most important divergence...
research
∙
03/13/2020
On Sufficient and Necessary Conditions in Bounded CTL
Computation Tree Logic (CTL) is one of the central formalisms in formal ...
research
∙
02/09/2020
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models
Recent research has shown that it is challenging to detect out-of-distri...
research
∙
08/22/2017