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 |
|---|---|---|
 brunjlar/neural | A Haskell-based framework for flexible neural networks and similar parameterized models with automatic differentiation and modular training algorithms. | 124 |
 jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 leventerkok/sbv | A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
 zkp-gravity/0g | A system for proving an inference pass for pre-trained neural networks on private inputs. | 40 |
 ucsd-progsys/liquidhaskell | A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,204 |
 angelognazzo/reliable-trustworthy-ai | An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks | 2 |
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 eliyaan/neuralnetworks-v-module | A V module to create and train multi-layer neural networks with customizable backpropagation | 26 |
 ellisonleao/vl | Tool to verify current status of URLs in text files | 27 |
 vxy10/p5_vehicledetection_unet | Develops an object detection algorithm using a U-Net architecture to detect vehicles in images and videos from a publicly available dataset | 95 |
 fumieval/webauthn | A Haskell implementation of the server-side verifier for Web Authentication API | 15 |
 chenjoya/vehicle_detection_recognition | A Matlab project for vehicle detection and recognition using deep learning techniques. | 202 |
 toml-lang/toml-test | A tool that verifies the correctness of TOML parsers and writers through automated testing. | 216 |
 lyronctk/zator | This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity. | 160 |
 atnnn/haskell-rethinkdb | A Haskell implementation of an RethinkDB client library | 93 |