317 skills found · Page 1 of 11
batfish / BatfishBatfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
astorfi / 3D Convolutional Speaker Recognition:speaker: Deep Learning & 3D Convolutional Neural Networks for Speaker Verification
Verified-Intelligence / Alpha Beta CROWNalpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
sisl / NeuralVerification.jlMethods to soundly verify deep neural networks
gnbaron / Signature RecognitionVerify the authenticity of handwritten signatures through digital image processing and neural networks. ✍️
thunlp / KernelGATThe source codes for Fine-grained Fact Verification with Kernel Graph Attention Network.
gevulotnetwork / GevulotGevulot is an internet scale compute network for zero-knowledge proof generation and verification.
google-deepmind / Jax VerifyNeural network verification in JAX
verivital / NnvNeural Network Verification Software Tool
ChainXim-Team / ChainXimChainXim is a blockchain simulator developed by XinLab, which is used to simulate and verify blockchains under different networks and different consensus protocols, and can be designed to assist network attackers in evaluating the security performance of the blockchain.
seanbenhur / Siamese NetSignature verification system using Siamese networks
astorfi / 3D Convolutional Speaker Recognition Pytorch:speaker: Deep Learning & 3D Convolutional Neural Networks for Speaker Verification
John1liu / YOLOV5 DeepSORT Vehicle Tracking MasterIn this project, urban traffic videos are collected from the middle section of Xi 'an South Second Ring Road with a large traffic flow, and interval frames are extracted from the videos to produce data sets for training and verification of YOLO V5 neural network. Combined with the detection results, the open-source vehicle depth model data set is used to train the vehicle depth feature weight file, and the deep-sort algorithm is used to complete the target tracking, which can realize real-time and relatively accurate multi-target recognition and tracking of moving vehicles.
ElNiak / Awesome Formal VerificationWelcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
AI-secure / Certified Robustness SoK OldverThis repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.
eurecom-asp / RawGAT ST AntispoofingThis repository includes the code to reproduce our paper "End-to-End Spectro-Temporal Graph Attention Networks for Speaker Verification Anti-Spoofing and Speech Deepfake Detection" (https://arxiv.org/abs/2107.12710) published in the ASVspoof 2021 workshop.
Aftaab99 / OfflineSignatureVerificationWriter independent offline signature verification using convolutional siamese networks
easonnie / Combine FEVER NSMNThis repository provides the implementation for the paper "Combining Fact Extraction and Verification with Neural Semantic Matching Networks".
sounakdey / SigNetSigNet: Convolutional Siamese Network for Writer Independent Offline Signature Verification
libxengine / XEngine Authorizec c++ network authorize service.c c++ 网络验证服务.c c++ 网络授权服务
