Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Vi...
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural ...
AIKA is a new type of artificial neural network designed to more closely...