Versions
Description
A tool for enforcing specifications on neural networks. Write one specification and use it during training, verification and theorem proving.
Repository
https://github.com/vehicle-lang/vehicle
Project Slug
vehicle-lang
Last Built
2 days, 22 hours ago passed
Maintainers
Home Page
https://github.com/vehicle-lang/vehicle
Badge
Tags
explainable-ai, neural-networks, theorem-proving, training, verification
Short URLs
vehicle-lang.readthedocs.io
vehicle-lang.rtfd.io
Default Version
stable
'latest' Version
dev