Kar1s

Pinned Repositories

LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Language:Python243 15 40451
Multi-view-Voting-Scheme
Language:Jupyter Notebook00
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Language:Python00

Kar1s's Repositories

Kar1s/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Language:Python00