103 skills found · Page 1 of 4
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)
Verified-Intelligence / Auto LiRPAauto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
hayeong0 / DDDM VCOfficial Pytorch Implementation for "DDDM-VC: Decoupled Denoising Diffusion Models with Disentangled Representation and Prior Mixup for Verified Robust Voice Conversion" (AAAI 2024)
verivital / NnvNeural Network Verification Software Tool https://www.verivital.com Documentation:
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.
huanzhang12 / CROWN IBPCertified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
AI-secure / VeriGaugeA united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
neu-autonomy / Nfl VeripyFormal Verification of Neural Feedback Loops (NFLs)
open-compass / CompassVerifier[EMNLP 2025] CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
hafisn07 / Next Auth V5 Advanced Guide 2024Next-auth v5 project with Next.js 14, offering robust authentication features including social logins, password recovery, email verification, two-factor authentication, user roles (admin & user), login components, and secure API route protection. Explore middleware, callbacks, hooks, and utilities for seamless integration and customization.
GasStationManager / SafeVerifyA Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
Hadisalman / Robust Verify BenchmarkBenchmark for LP-relaxed robustness verification of ReLU-networks
soub4i / Lghnaya robust SMS forwarding system designed for scenarios where you need to monitor SMS messages remotely. Whether you're tracking verification codes, monitoring alert systems, or simply need remote access to SMS messages, this project provides a complete end-to-end solution.
KaidiXu / Beta CROWNβ-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
JiangChSo / PFLMPrivacy-preserving federated learning is distributed machine learning where multiple collaborators train a model through protected gradients. To achieve robustness to users dropping out, existing practical privacy-preserving federated learning schemes are based on (t, N)-threshold secret sharing. Such schemes rely on a strong assumption to guarantee security: the threshold t must be greater than half of the number of users. The assumption is so rigorous that in some scenarios the schemes may not be appropriate. Motivated by the issue, we first introduce membership proof for federated learning, which leverages cryptographic accumulators to generate membership proofs by accumulating users IDs. The proofs are issued in a public blockchain for users to verify. With membership proof, we propose a privacy-preserving federated learning scheme called PFLM. PFLM releases the assumption of threshold while maintaining the security guarantees. Additionally, we design a result verification algorithm based on a variant of ElGamal encryption to verify the correctness of aggregated results from the cloud server. The verification algorithm is integrated into PFLM as a part. Security analysis in a random oracle model shows that PFLM guarantees privacy against active adversaries. The implementation of PFLM and experiments demonstrate the performance of PFLM in terms of computation and communication.
dynaroars / NeuralsatDPLL(T)-based Verification tool for DNNs
huanzhang12 / CertifiedReLURobustnessEfficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)
surrealyz / Verified Global PropertiesLearning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
shizhouxing / Robustness Verification For Transformers[ICLR 2020] Code for paper "Robustness Verification for Transformers"
huanzhang12 / RecurJac And CROWNReference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]
