vehicle
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
A toolkit for enforcing logical specifications on neural networks
82 stars
9 watching
7 forks
Language: Haskell
last commit: 4 months ago agdahaskellneural-networkspecificationverification
Related projects:
Repository | Description | Stars |
---|---|---|
| A Haskell-based framework for flexible neural networks and similar parameterized models with automatic differentiation and modular training algorithms. | 124 |
| Automates Ada software verification with continuous testing and proofing | 9 |
| A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
| A system for proving an inference pass for pre-trained neural networks on private inputs. | 40 |
| A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,204 |
| An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks | 2 |
| A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
| A V module to create and train multi-layer neural networks with customizable backpropagation | 26 |
| Tool to verify current status of URLs in text files | 27 |
| Develops an object detection algorithm using a U-Net architecture to detect vehicles in images and videos from a publicly available dataset | 95 |
| A Haskell implementation of the server-side verifier for Web Authentication API | 15 |
| A Matlab project for vehicle detection and recognition using deep learning techniques. | 202 |
| A tool that verifies the correctness of TOML parsers and writers through automated testing. | 216 |
| This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity. | 160 |
| A Haskell implementation of an RethinkDB client library | 93 |