Search results

Python 3.11 support

Status: Open.

#169 In ADA-research/VERONA;

· henba1 opened on Nov 27, 2025

New attribute error in CompleteVerificationData

Status: Open.

#168 In ADA-research/VERONA;

· AWbosman opened on Nov 26, 2025

Include example for usage of a pytorch network

Status: Open.

#144 In ADA-research/VERONA;

· Aaron99B opened on Nov 2, 2025

Integration of certified defense methods (Randomized Smoothing research)

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#85 In ADA-research/VERONA;

· henba1 opened on Sep 24, 2025

Add notebook for transfer learning use case

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#73 In ADA-research/VERONA;

· AWbosman opened on Sep 16, 2025

Add Vehicle as a property generator

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#72 In ADA-research/VERONA;

· AWbosman opened on Sep 15, 2025

Find new way for saving datapoints in verification context

Status: Open.

Feature

#61 In ADA-research/VERONA;

· AWbosman opened on Sep 9, 2025

Enabling k-binary search for GPU-use

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#52 In ADA-research/VERONA;

· AWbosman opened on Aug 19, 2025

summarise experiment

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In ADA-research/VERONA;

· AWbosman opened on Jan 14, 2025

Automatic temp file deletion using atexit

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#18 In ADA-research/VERONA;

· AWbosman opened on Jan 14, 2025

Add Checkpointing / Resume Functionality for Experiments

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#3 In ADA-research/VERONA;

· AWbosman opened on Jul 19, 2024