neurallambda

Reasoning about Reasoning Computers

Pinned Repositories

arc-like
Like ARC, but code to generate visual puzzles. 1D puzzles first.
Language:Python152
automata
generate synthetic data for training finite state machines/pushdown automata/turing machines
Language:Haskell16 2 00
awesome-reasoning
a curated list of data for reasoning ai
108 4 05
neurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Language:Python231 15 111
RWKV-infctx-trainer
Adding neurallambda to RWKV-infctx-trainer
Language:Jupyter Notebook7 1 00

neurallambda/neurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
Language:Python231 15 111
neurallambda/awesome-reasoning
a curated list of data for reasoning ai
108 4 05
neurallambda/automata
generate synthetic data for training finite state machines/pushdown automata/turing machines
Language:Haskell16 2 00
neurallambda/arc-like
Like ARC, but code to generate visual puzzles. 1D puzzles first.
Language:Python152
neurallambda/RWKV-infctx-trainer
Adding neurallambda to RWKV-infctx-trainer
Language:Jupyter Notebook7 1 00