neurallambda/neurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
PythonNOASSERTION
Issues
- 5
ph example can easily be solved by llms
#2 opened by RedMoon32
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
PythonNOASSERTION