kyleiwaniec / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

https://IBM.github.io/LNN/

Geek Repo

Github PK Tool