piwheels

auto-verify

Efficient portfolio-based verification of neural network properties

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install auto-verify

Dependencies

• tomli-w
• xdg-base-dirs
• onnx
• protobuf
• tomli
• onnxruntime
• smac
• result
• numpy
• pandas
• swig
• configspace

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
1.0.0	2026-01-14
auto_verify-1.0.0-py3-none-any.whl (113 KB)
0.1.4	2025-09-12
auto_verify-0.1.4-py3-none-any.whl (106 KB)
0.1.3	2023-12-06
auto_verify-0.1.3-py3-none-any.whl (81 KB)
0.1.2	2023-12-06
auto_verify-0.1.2-py3-none-any.whl (81 KB)
0.1.1	2023-11-16
auto_verify-0.1.1-py3-none-any.whl (81 KB)
0.1.0	2023-10-13
auto_verify-0.1.0-py3-none-any.whl (81 KB)
0.0.1	2022-12-09
auto_verify-0.0.1-py3-none-any.whl (3 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue