znah / zffLinks
8-bit computational substrates
☆47Updated last year
Alternatives and similar repositories for zff
Users that are interested in zff are comparing it to the libraries listed below
Sorting:
- Code for the Fractured Entangled Representation Hypothesis position paper!☆221Updated 2 months ago
- ☆171Updated last month
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆286Updated last year
- Multi-agent simulator in Jax for research and teaching in AI & ALife☆29Updated this week
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆218Updated last year
- Training AI for Super Smash Bros. Melee☆32Updated 10 months ago
- Cellular Automata Accelerated in JAX (Oral at ICLR 2025)☆242Updated 2 months ago
- ☆396Updated 3 weeks ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆22Updated last year
- A massively parallel, optimal functional runtime in Rust☆31Updated last year
- The Quasi Quantum Assembly Programming Language☆36Updated 2 months ago
- explore token trajectory trees on instruct and base models☆150Updated 8 months ago
- A programming language for formal/informal computation.☆43Updated last month
- ☆76Updated last year
- LLMs represent numbers on a helix and manipulate that helix to do addition.☆27Updated 11 months ago
- Repo for solving arc problems with an Neural Cellular Automata☆23Updated 8 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- ☆110Updated last year
- Enjoy puzzle-solving directly in your browser.☆32Updated 9 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Updated 2 months ago
- Train neural networks that distill into logic circuits, using JAX☆64Updated 7 months ago
- a categorical deep learning compiler☆207Updated 4 months ago
- A Discord bot for the Robert Miles AI server☆40Updated this week
- ☆74Updated 3 years ago
- Materials for ConceptARC paper☆112Updated last year
- Domain Specific Language for the Abstraction and Reasoning Corpus☆318Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Reverse Engineering the Abstraction and Reasoning Corpus☆331Updated 11 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago