Alternatives and similar repositories for zff

Users that are interested in zff are comparing it to the libraries listed below

• paradigms-of-intelligence / cubff
  ☆172Updated 2 months ago
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆221Updated 3 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆23Updated 8 months ago
• maxencefaldor / cax
  Cellular Automata Accelerated in JAX (Oral at ICLR 2025)
  ☆243Updated 2 months ago
• keyonvafa / world-model-evaluation
  ☆77Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆284Updated last year
• flowersteam / vivarium
  Multi-agent simulator in Jax for research and teaching in AI & ALife
  ☆29Updated this week
• ericyuegu / hal
  Training AI for Super Smash Bros. Melee
  ☆32Updated 10 months ago
• znah / deepdream_c
  Minimalistic DeepDream with C89
  ☆211Updated 4 years ago
• adamkarvonen / chess_llm_interpretability
  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
• HigherOrderCO / HVM1
  A massively parallel, optimal functional runtime in Rust
  ☆31Updated last year
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆43Updated last month
• revalo / tree-diffusion
  Diffusion on syntax trees for program synthesis
  ☆482Updated last year
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• subhashk01 / LLM-addition
  LLMs represent numbers on a helix and manipulate that helix to do addition.
  ☆28Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆18Updated last year
• glassroom / heinsen_sequence
  Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)
  ☆98Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆150Updated 8 months ago
• arc-community / arc-generative-DSL-infinite-data
  slowly building a set of infinite riddle generators for data-hungry methods
  ☆14Updated 3 years ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆284Updated 10 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated 2 months ago
• slightknack / difflogic
  Train neural networks that distill into logic circuits, using JAX
  ☆64Updated 8 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆59Updated 3 months ago
• adamnemecek / traceoid.ai
  ☆111Updated last year
• IDSIA / modern-srwm
  Official repository for the paper "A Modern Self-Referential Weight Matrix That Learns to Modify Itself" (ICML 2022 & NeurIPS 2021 Deep R…
  ☆175Updated 7 months ago