neurallambda / arc-like

Related projects: ⓘ

• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆71Updated 3 months ago
• michaelhodel / arc-dsl
  Domain Specific Language for the Abstraction and Reasoning Corpus
  ☆152Updated last month
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆17Updated 3 months ago
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆70Updated last month
• tanchongmin / ARC-Challenge
  ☆20Updated 2 weeks ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆53Updated last month
• harmonic-ai / datasets
  Harmonic Datasets
  ☆26Updated 2 months ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆29Updated last month
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆27Updated 9 months ago
• andrew-silva / mlx-rlhf
  An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.
  ☆21Updated 2 months ago
• CatherineWong / dreamcoder
  ☆44Updated 2 years ago
• EleutherAI / features-across-time
  Understanding how features learned by neural networks evolve throughout training
  ☆30Updated this week
• joshuacnf / Ctrl-G
  ☆68Updated 2 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆111Updated last month
• apple / ml-np-rasp
  ☆16Updated 8 months ago
• Lagooon / LeanSTaR
  ☆19Updated last week
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆77Updated 3 weeks ago
• GoodAI / goodai-ltm-benchmark
  A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…
  ☆53Updated this week
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆60Updated 4 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆48Updated last month
• RobertCsordas / moeut
  ☆50Updated last month
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆67Updated last month
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆33Updated 7 months ago
• ScalingIntelligence / large_language_monkeys
  ☆29Updated 2 weeks ago
• aidanmclaughlin / Aidan-Bench
  Aidan Bench attempts to measure <big_model_smell> in LLMs.
  ☆64Updated this week
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated last month
• neoneye / arc-notes
  My writings about ARC (Abstraction and Reasoning Corpus)
  ☆55Updated 3 weeks ago
• EleutherAI / sae-auto-interp
  ☆54Updated last week
• google-deepmind / mishax
  ☆91Updated last month
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆11Updated last month