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

Change Logic representation to use `Builtin` instead of `LossBuiltin` #835

Closed MatthewDaggitt closed 3 months ago

MatthewDaggitt commented 3 months ago

This is a step closer to allowing us to load logics from Vehicle code itself