Udit Sharma

Logical Neural Networks

2020 · arXiv (Cornell University)

We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued …