Repositories list

• neurallambda

  Public
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

  machine-learningagirnn+ 3reasoningneural-symbolic-reasoningneural-symbolic

  Python

  •

  Other

  •12•239•0•2•Updated Nov 3, 2024Nov 3, 2024

• arc-like

  Public
  Like ARC, but code to generate visual puzzles. 1D puzzles first.

  Python

  •2•17•0•0•Updated Aug 17, 2024Aug 17, 2024

• awesome-reasoning

  Public
  a curated list of data for reasoning ai

  datamachine-learningreasoning+ 1synthetic-data

  5•116•0•1•Updated Aug 4, 2024Aug 4, 2024

• RWKV-infctx-trainer

  Public
  Adding neurallambda to RWKV-infctx-trainer

  Jupyter Notebook

  •

  Apache License 2.0

  •27•7•0•0•Updated May 3, 2024May 3, 2024

• automata

  Public
  generate synthetic data for training finite state machines/pushdown automata/turing machines

  Haskell

  •0•15•0•0•Updated Apr 26, 2024Apr 26, 2024