Vehicle specifications are written in the Vehicle Specification Language, which is designed for clearly and concisely expressing mathematical properties of neural networks.
logic arithmetic functions lists vectors tensors quantifiers networks datasets parameters properties type-synonyms let-expressions annotations-holes tips-and-tricks advanced