Pinned Repositories
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
NC453's Repositories
NC453/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