vehicle-lang / vehicle

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

Massive rewrite how loss normalisation works #832

Closed MatthewDaggitt closed 3 months ago

MatthewDaggitt commented 3 months ago

Finally bit the bullet and made the intermediate loss translation actually use different builtin types to keep myself honest. This has exposed all sorts of problems with the translation and it's taken a while to fix them. Finally ditched the non-compositional loss for DL2 as well after Katya's urging.

Next up, fixing your requests for the Python side @wenkokke .