Mathematical software

Reluplex
Referenced in 20 articles [sw31367]
crucial ingredient in many modern neural networks. The verification procedure tackles neural networks...

NNV
Referenced in 3 articles [sw32539]
Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. This ... Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks ... functions, such as ReLUs. For similar neural network control systems (NNCS) that instead have nonlinear ... world case studies: the first is safety verification of ACAS Xu networks and the second...

NeVer
Referenced in 2 articles [sw06592]
NeVer: a tool for artificial neural networks verification The adoption of artificial neural networks (ANNs ... linear arithmetic constraints. We describe the main verification algorithm and the structure of {sc NeVer...

Marabou
Referenced in 6 articles [sw31368]
Marabou Framework for Verification and Analysis of Deep Neural Networks. Deep neural networks are revolutionizing...

DeepFace
Referenced in 25 articles [sw21625]
human-level performance in face verification. In modern face recognition, the conventional pipeline consists ... representation from a nine-layer deep neural network. This deep network involves more than...

ASVtorch
Referenced in 1 article [sw38543]
ASVtorch toolkit: Speaker verification with deep neural networks. The human voice differs substantially between individuals...

CosFace
Referenced in 5 articles [sw39109]
convolutional neural networks (CNNs). The central task of face recognition, including face verification and identification...

PRODeep
Referenced in 1 article [sw39886]
PRODeep: a platform for robustness verification of deep neural networks. Deep neural networks (DNNs) have ... present PRODeep, a platform for robustness verification of DNNs. PRODeep incorporates constraint-based, abstraction-based...

AdaCos
Referenced in 3 articles [sw37053]
Verification. Our results show that training deep neural networks with the AdaCos loss is stable...

VoxCeleb
Referenced in 2 articles [sw38554]
performing active speaker verification using a two-stream synchronization Convolutional Neural Network (CNN), and confirming ... best performance for both identification and verification...

DeepID3
Referenced in 4 articles [sw39588]
This paper proposes two very deep neural network architectures, referred to as DeepID3, for face ... suitable to face recognition. Joint face identification-verification supervisory signals are added to both intermediate...

ERAN
Referenced in 1 article [sw40545]
Robustness Analyzer for Neural Networks (ERAN) is a state-of-the-art sound, precise, scalable ... abstract interpretation for the complete and incomplete verification of MNIST, CIFAR10, and ACAS Xu based ... networks. ERAN produces state-of-the-art precision and performance for both complete and incomplete ... automatically verify safety properties of neural networks with feedforward, convolutional, and residual layers against input...

nncontroller
Referenced in 1 article [sw39887]
properties. The controllers are based on neural networks (NNs). To certify the safety property ... barrier-NN simultaneously, achieving a verification-in-the-loop synthesis. We provide a prototype tool...

CLN2INV
Referenced in 1 article [sw41069]
main challenges behind automated verification of real-world programs which often contain many loops ... paper, we present Continuous Logic Network (CLN), a novel neural architecture for automatically learning loop...

Usiigaci
Referenced in 1 article [sw32598]
accomplished using a mask regional convolutional neural network (Mask R-CNN). A Trackpy-based cell ... developed for cell tracking and data verification. The performance of Usiigaci is validated with electrotaxis...

Signature verification
Referenced in 0 articles [sw21908]
reliable SV toolbox, based on the verification of off-line signatures is developed with ... technique is based on a neural network (NN) approach trained with particle swarm optimization...

FEBPNN
Referenced in 2 articles [sw08805]
active noise control (ANC) using a neural network (NN) based on filtered-error back-propagation ... TMS320VC33. The simulations and the experimental verification tests show that the FEBPNN algorithm performs...

Reluplex