issues
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
Add normal form representation
#722
Closed
MatthewDaggitt
closed
1 year ago