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 day, 10 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

latest

'latest' Version

dev