issues
search
IBM
/
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
https://IBM.github.io/LNN/
Apache License 2.0
226
stars
438
forks
source link
FIX: Upgrade torch to 1.13.0
#63
Closed
KyleErwin
closed
1 year ago