vehicle
by vehicle-lang
A toolkit for enforcing logical specifications on neural networks
AI summary
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
- stars
- 82
- forks
- 7
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Neural network library
A Haskell-based framework for flexible neural networks and similar parameterized models with automatic differentiation and modular training algorithms.
Software Verifier
Automates Ada software verification with continuous testing and proofing
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
Neural network verifier
A system for proving an inference pass for pre-trained neural networks on private inputs.
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Verifier
An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Neural network builder
A V module to create and train multi-layer neural networks with customizable backpropagation
URL verifier
Tool to verify current status of URLs in text files
Vehicle detector
Develops an object detection algorithm using a U-Net architecture to detect vehicles in images and videos from a publicly available dataset
WebAuthn Verifier
A Haskell implementation of the server-side verifier for Web Authentication API
Vehicle Detector
A Matlab project for vehicle detection and recognition using deep learning techniques.
TOML parser verifier
A tool that verifies the correctness of TOML parsers and writers through automated testing.
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.
RethinkDB driver
A Haskell implementation of an RethinkDB client library
