Lantern: safer than a torch
Lantern is a software package to support SMT analysis of affine multiplexing neural networks using PyTorch and Z3.
See: docs/lantern/ for (generated) documentation.
See: requirements.txt for dependencies.
An annotated example.py demonstrates basic usage.
Lantern was developed against torch==1.5.0 and z3-solver==4.8.7.0.
Linear Real Arithmetic appears to be stable, but we have noticed some changes
to the floating point solvers as z3 continues to be developed.
1 maintainer
Metadata
1 maintainer
Release files for lantern-smt 0.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| lantern-smt-0.1.0.tar.gz | 4.0 kB | Details |
Release files / lantern-smt-0.1.0.tar.gz
| Download URL | lantern-smt-0.1.0.tar.gz |
|---|---|
| Size | 4.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7d2891ea864a79312d74a955e8360c90cddd50c7baa9f7206ef098e060493f22
|
|
BLAKE2b-256 checksum How to use checksums |
00f86ff73d62527216b851991085be17a51077425e484e61b188d0a40a35c2df
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/41.2.0 requests-toolbelt/0.9.1 tqdm/4.47.0 CPython/3.8.3
|
