verona
A lightweight Python package for setting up robustness experiments and to compute robustness distributions.
Convert ONNX neural networks to VNNLib format with VERONA. Verify model robustness against adversarial attacks using modular property generators. Get the complete guide now.
Understanding VerificationContext in VERONA's Pipeline: A Complete Technical GuideMaster VERONA's verification pipeline by understanding VerificationContext. This guide details how it manages models, data, and properties from VNNLib to results.
Debugging Verification Timeouts and Performance Issues in VERONATroubleshoot VERONA verification timeouts and performance bottlenecks. Learn to identify common issues like incorrect timeout values, large property headers, and blocking I/O.
Working with PytorchExperimentDataset in VERONA: A Complete GuideLearn to use VERONA's PytorchExperimentDataset for seamless PyTorch dataset integration in verification workflows. Integrate samplers, modules, and reporting tools easily.
Working with ImageFileDataset in VERONA: A Complete Guide to Managing Image-Based Experiment DataMaster VERONA's ImageFileDataset for efficient image experiment data management. Load image tensors and CSV labels with ID indexing, preprocessing, and subsampling. Your complete guide.
Creating Custom PropertyGenerator Implementations for VERONA: A Complete GuideLearn to create custom PropertyGenerator implementations for VERONA. Subclass the base class, implement generate, and inject your custom code for advanced verification.
How to Handle Top-k Predictions in VERONA Attack-Based Robustness EstimationLearn to handle top-k predictions in VERONA attack-based robustness estimation. Discover how the top_k parameter impacts vulnerability analysis and model resilience.
Running VERONA with GPU Acceleration for Large-Scale VerificationAccelerate large-scale verification with VERONA and GPU support. Automatically offload tasks to CUDA-enabled devices for faster, more efficient analysis without manual setup.
How to Export Verification Results to ExperimentRepository in VERONALearn how to export verification results to ExperimentRepository in VERONA. Save outcomes to CSV, generate plots, and store data for reproducible experiments using save_result().
Using AutoAttackWrapper for Adversarial Robustness Evaluation in VERONAEvaluate adversarial robustness in VERONA using AutoAttackWrapper. Standardize evaluations with configurable norms and attack versions for robust defenses.
Configuring VNNLib Properties for Neural Network Verification in VERONALearn how to configure VNNLib properties for neural network verification in VERONA. This guide details using modular generators to create SMT-LIB constraints for robustness checks.
Implementing Custom Attack Methods in VERONA's AttackEstimationModuleImplement custom attack methods in VERONA by subclassing the Attack class and executing your method with AttackEstimationModule. Learn how to extend VERONA's capabilities now.
Have a question about this repo?
These articles cover the highlights, but your codebase questions are specific. Give your agent direct access to the source. Share this with your agent to get started:
curl -s "https://instagit.com/install.md" 
Maintain an open-source project? Get it listed too →