VERONA

Public

A lightweight Python package for setting up adversarial robustness experiments and to compute robustness distributions. Standalone package implemets adversarial attacks. Can be extended with the ada-auto-verify plugin to enable complete verification.

adversarial-attacks experiment-framework machine-learning neural-network-verification robustness-analysis verification-tools

Creat：2024-07-19T17:26:14

Update：2025-08-02T23:21:17

Stars

Stars Increase

Related projects

Tensorflow

deep-learning

An Open Source Machine Learning Framework for Everyone

191047

2年前

+20today

Stable Diffusion Webui

Stable Diffusion web UI

155226

1年前

+50today

Transformers

Hot

bert

? Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

147873

2年前

+59today

N8n

Hot

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

126791

4年前

+350today

30 Seconds Of Code

astro

Coding articles to level up your development skills

124817

4个月前

+16today

Pytorch

autograd

Tensors and Dynamic neural networks in Python with strong GPU acceleration

92053

4个月前

+27today

Django

apps

The Web framework for perfectionists with deadlines.

84465

4个月前

+9today

Gin

framework

Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.

83443

4个月前

+17today