Pinned Repositories
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
MRNaqvi's Repositories
MRNaqvi/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
A `Neural = Symbolic` framework for sound and complete weighted real-value logic