# verona | ADA research | Knowledge Base | Instagit

A lightweight Python package for setting up robustness experiments and to compute robustness distributions.

GitHub Stars: 49

Repository: https://github.com/ada-research/verona

---

## Articles

### [Converting Neural Networks to VNNLib Format with VERONA: A Complete Guide](/ada-research/verona/converting-neural-networks-to-vnnlib-format-for-verona)

Convert ONNX neural networks to VNNLib format with VERONA. Verify model robustness against adversarial attacks using modular property generators. Get the complete guide now.

- Tags: how-to-guide
- Published: 2026-02-23

### [Understanding VerificationContext in VERONA's Pipeline: A Complete Technical Guide](/ada-research/verona/understanding-verificationcontext-in-veronas-pipeline)

Master VERONA's verification pipeline by understanding VerificationContext. This guide details how it manages models, data, and properties from VNNLib to results.

- Tags: deep-dive
- Published: 2026-02-23

### [Debugging Verification Timeouts and Performance Issues in VERONA](/ada-research/verona/debugging-verification-timeouts-and-performance-issues-in-verona)

Troubleshoot VERONA verification timeouts and performance bottlenecks. Learn to identify common issues like incorrect timeout values, large property headers, and blocking I/O.

- Tags: debugging
- Published: 2026-02-23

### [Working with PytorchExperimentDataset in VERONA: A Complete Guide](/ada-research/verona/working-with-pytorchexperimentdataset-in-verona)

Learn to use VERONA's PytorchExperimentDataset for seamless PyTorch dataset integration in verification workflows. Integrate samplers, modules, and reporting tools easily.

- Tags: tutorial
- Published: 2026-02-23

### [Working with ImageFileDataset in VERONA: A Complete Guide to Managing Image-Based Experiment Data](/ada-research/verona/working-with-imagefiledataset-in-verona)

Master VERONA's ImageFileDataset for efficient image experiment data management. Load image tensors and CSV labels with ID indexing, preprocessing, and subsampling. Your complete guide.

- Tags: how-to-guide
- Published: 2026-02-23

### [Creating Custom PropertyGenerator Implementations for VERONA: A Complete Guide](/ada-research/verona/creating-custom-propertygenerator-implementations-for-verona)

Learn to create custom PropertyGenerator implementations for VERONA. Subclass the base class, implement generate, and inject your custom code for advanced verification.

- Tags: how-to-guide
- Published: 2026-02-23

### [How to Handle Top-k Predictions in VERONA Attack-Based Robustness Estimation](/ada-research/verona/handling-top-k-predictions-in-verona-attack-based-robustness-estimation)

Learn to handle top-k predictions in VERONA attack-based robustness estimation. Discover how the top_k parameter impacts vulnerability analysis and model resilience.

- Tags: how-to-guide
- Published: 2026-02-23

### [Running VERONA with GPU Acceleration for Large-Scale Verification](/ada-research/verona/running-verona-with-gpu-acceleration-for-large-scale-verification)

Accelerate large-scale verification with VERONA and GPU support. Automatically offload tasks to CUDA-enabled devices for faster, more efficient analysis without manual setup.

- Tags: performance
- Published: 2026-02-23

### [How to Export Verification Results to ExperimentRepository in VERONA](/ada-research/verona/exporting-verification-results-to-experimentrepository-in-verona)

Learn how to export verification results to ExperimentRepository in VERONA. Save outcomes to CSV, generate plots, and store data for reproducible experiments using save_result().

- Tags: how-to-guide
- Published: 2026-02-23

### [Using AutoAttackWrapper for Adversarial Robustness Evaluation in VERONA](/ada-research/verona/using-autoattackwrapper-for-adversarial-robustness-evaluation-in-verona)

Evaluate adversarial robustness in VERONA using AutoAttackWrapper. Standardize evaluations with configurable norms and attack versions for robust defenses.

- Tags: tutorial
- Published: 2026-02-23

### [Configuring VNNLib Properties for Neural Network Verification in VERONA](/ada-research/verona/configuring-vnnlib-properties-for-neural-network-verification-in-verona)

Learn 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.

- Tags: how-to-guide
- Published: 2026-02-23

### [Implementing Custom Attack Methods in VERONA's AttackEstimationModule](/ada-research/verona/implementing-custom-attack-methods-in-veronas-attackestimationmodule)

Implement custom attack methods in VERONA by subclassing the Attack class and executing your method with AttackEstimationModule. Learn how to extend VERONA's capabilities now.

- Tags: how-to-guide
- Published: 2026-02-23

### [Loading PyTorch Networks in the VERONA Verification Pipeline: A Complete Guide](/ada-research/verona/loading-pytorch-networks-in-verona-verification-pipeline)

Learn to load PyTorch networks in the VERONA verification pipeline using the PyTorchNetwork class for seamless integration with adversarial verification modules.

- Tags: how-to-guide
- Published: 2026-02-23

### [Loading ONNX Networks in the VERONA Verification Pipeline: A Complete Guide](/ada-research/verona/loading-onnx-networks-in-verona-verification-pipeline)

Learn to load ONNX networks in the VERONA verification pipeline. VERONA efficiently handles ONNX models, streamlining your neural network verification workflows. Get the complete guide.

- Tags: how-to-guide
- Published: 2026-02-23

### [Using PredictionsBasedSampler for Dataset Sampling in VERONA](/ada-research/verona/using-predictionsbasedsampler-for-dataset-sampling-in-verona)

Filter VERONA datasets with PredictionsBasedSampler. Optimize sampling by selecting correct or incorrect model predictions for your analysis.

- Tags: how-to-guide
- Published: 2026-02-23

### [Creating Robustness Distributions from Datasets Using VERONA](/ada-research/verona/creating-robustness-distributions-from-datasets-using-verona)

Build robustness distributions from datasets using VERONA a Python framework. Discover the largest perturbation each data point tolerates before misclassification with pluggable verification backends.

- Tags: how-to-guide
- Published: 2026-02-23

### [Understanding SAT vs UNSAT Verification Results in VERONA](/ada-research/verona/understanding-sat-vs-unsat-verification-results-in-verona)

Learn what SAT vs UNSAT verification results mean in VERONA. SAT shows a counter-example proving your model is not robust UNSAT proves robustness within epsilon.

- Tags: deep-dive
- Published: 2026-02-23

### [Running Distributed VERONA Experiments with SLURM: A Complete Guide](/ada-research/verona/running-distributed-verona-experiments-with-slurm)

Master running distributed VERONA experiments on SLURM clusters. This guide details using ExperimentRepository and sbatch for efficient, large-scale robustness analysis.

- Tags: how-to-guide
- Published: 2026-02-23

### [One2One vs One2Any Property Generators in VERONA: Targeted vs Untargeted Verification](/ada-research/verona/difference-between-one2one-and-one2any-property-generators-in-verona)

Explore the difference between Verona's One2One vs One2Any property generators. Understand targeted vs untargeted verification specs to optimize your code.

- Tags: deep-dive
- Published: 2026-02-23

### [How to Implement Custom Epsilon Value Estimators in VERONA](/ada-research/verona/how-to-implement-custom-epsilon-value-estimators-in-verona)

Learn to implement custom epsilon value estimators in VERONA by subclassing EpsilonValueEstimator and implementing compute_epsilon_value for your search strategy.

- Tags: how-to-guide
- Published: 2026-02-23