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

1 month, 3 weeks ago passed

Maintainers

Home Page

https://github.com/vehicle-lang/vehicle

Badge

Tags

training, verification, neural-networks, explainable-ai, theorem-proving

Short URLs

vehicle-lang.readthedocs.io
vehicle-lang.rtfd.io

Default Version

latest

'latest' Version

dev