vehicle-lang/vehicle (opens in new tab)

A toolkit for enforcing logical specifications on neural networks 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 ...