Add binary combinator as arg to minimise/maximise loss translation - Githubissues

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

80 stars 7 forks source link

Add binary combinator as arg to minimise/maximise loss translation #833

Closed MatthewDaggitt closed 3 months ago