11 skills found
AI-secure / VeriGaugeA united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
kamwoh / DeepIPR[NeurIPS 2019] This is the code repo of our novel passport-based DNN ownership verification schemes, i.e. we embed passport layer into various deep learning architectures (e.g. AlexNet, ResNet) for Intellectual Property Right (IPR) protection.
TrustAI / Literature On DNN Verification And TestingNo description available
dynaroars / NeuralsatDPLL(T)-based Verification tool for DNNs
uiuc-focal-lab / IVANIncremental Verification of DNNs (https://arxiv.org/abs/2304.01874)
uiuc-arc / Incremental DNN VerificationIncremental Verifiers for Neural Networks
edwardxu0 / GDVBGDVB| Systematic Generation of Diverse Benchmarks for DNN Verification
dnnsoftware / Dnn.EVSDNN (formerly DotNetNuke) Extension Verification Service
dlshriver / Dnnv BenchmarksA Collection of DNN Verification Benchmarks
teobaluta / ProveroSampling-based Scalable Quantitative Verification for DNNs
Moayad-Ahmed / Reusable Verification Framework For Deep Learning Accelerators Using PyUVM COCOtb And PSSReusable and scalable verification framework for Deep Neural Network (DNN) accelerators using Pyuvm, Cocotb, and Portable Stimulus Standard (PSS). Supports generic layer-wise verification and automated multi-layer scenario generation.
