vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
80 stars 7 forks source link

Added 'min' and 'max' to front-end language #844

Closed MatthewDaggitt closed 2 months ago