Search Results for author:
Found 6 papers, 2 papers with code
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Experimental results on QNNs with different quantization bits confirm the effectiveness and efficiency of our approach, e. g., two orders of magnitude faster and able to solve more verification tasks in the same time limit than the state-of-the-art methods.
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Verifying and explaining the behavior of neural networks is becoming increasingly important, especially when they are deployed in safety-critical applications.
Learning Safe Neural Network Controllers with Barrier Certificates
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.
Finger Texture Biometric Characteristic: a Survey
\begin{abstract} In recent years, the Finger Texture (FT) has attracted considerable attention as a biometric characteristic.
Boosting API Recommendation with Implicit Feedback
In this paper, we propose a framework, BRAID (Boosting RecommendAtion with Implicit FeeDback), which leverages learning-to-rank and active learning techniques to boost recommendation performance.
Making Agents' Abilities Explicit
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS).
