3 results found Sort:
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
Created
2020-02-27
25 commits to master branch, last one 4 years ago
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Created
2024-03-09
124 commits to master branch, last one 2 months ago
AIKA is a new type of artificial neural network designed to more closely mimic the behavior of a biological brain and to bridge the gap to classical AI. A key design decision in the Aika network is to...
Created
2017-05-24
3,750 commits to master branch, last one 6 months ago