vehicle-lang/vehicle

This is stars and forks stats for /vehicle-lang/vehicle repository. As of 02 May, 2024 this repository has 59 stars and 5 forks.

Vehicle Vehicle is a system for embedding logical specifications into neural networks. At its heart is the Vehicle specification language, a high-level, functional language for writing mathematically-precise specifications for your networks. For example, the following simple specification says that a network's output should be monotonically increasing with respect to its third input. These specifications can then automatically be compiled down to loss functions to be used when training your network. After...