• 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...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...