Alternatives and similar repositories for arcsolver

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

• arc-community / arc-generative-DSL-infinite-data
  slowly building a set of infinite riddle generators for data-hungry methods
  ☆14Updated 3 years ago
• joshuacnf / Ctrl-G
  ☆105Updated last year
• rgreenblatt / arc_draw_more_samples_pub
  Draw more samples
  ☆198Updated last year
• JD-P / minihf
  MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…
  ☆183Updated 2 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆112Updated last year
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated last year
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆22Updated last year
• alxndrTL / ARC_LLMs
  Evaluating majors LLMs on the Abstraction and Reasoning Corpus
  ☆17Updated 2 years ago
• tanchongmin / ARC-Challenge
  ☆30Updated last year
• minosvasilias / simple_grpo
  Simple GRPO scripts and configurations.
  ☆59Updated 11 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• CarperAI / treasure_trove
  ☆22Updated 2 years ago
• normal-computing / extended-mind-transformers
  ☆125Updated last year
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆271Updated 2 years ago
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆90Updated last year
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆43Updated 3 weeks ago
• abetlen / program-constrained-language-model-sampling
  ☆35Updated 2 years ago
• jerber / arc_agi
  ☆67Updated 6 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆114Updated 2 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆78Updated 2 years ago
• Mihaiii / backtrack_sampler
  An easy-to-understand framework for LLM samplers that rewind and revise generated tokens
  ☆150Updated 2 weeks ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆284Updated 9 months ago
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆286Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆99Updated 2 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆43Updated 2 years ago
• KhoomeiK / complexity-scaling
  gzip Predicts Data-dependent Scaling Laws
  ☆34Updated last year
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆24Updated this week
• xjdr-alt / muzero_sketch
  ☆40Updated last year
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆99Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆140Updated 8 months ago