search

vehicle-lang / vehicle

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

Update WindController example and upgrade to Agda stdlib 2.0 #755

Closed MatthewDaggitt closed 10 months ago

MatthewDaggitt commented 10 months ago

Makes the embedding gap more explicit in the specification for the CAV paper.