Alternatives and similar repositories for hypothesis_search

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

• yilundu / ired_code_release
  ☆82Updated last year
• MurtyShikhar / structural-grokking
  Code for our ACL '23 paper titled "Grokking of Hierarchical Structure in Vanilla Transformers"
  ☆23Updated 2 years ago
• AllanYangZhou / universal_neural_functional
  ☆54Updated last year
• yilundu / irem_code_release
  ICML 2022: Learning Iterative Reasoning through Energy Minimization
  ☆48Updated 2 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 4 months ago
• iliao2345 / CompressARC
  ☆213Updated 4 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated last month
• AllanYangZhou / nfn
  NF-Layers for constructing neural functionals.
  ☆93Updated 2 years ago
• HKUNLP / diffusion-vs-ar
  [ICLR 2025] Code for the paper "Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning"
  ☆87Updated 10 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 6 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• google-research / crossbeam
  ☆44Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆98Updated 2 years ago
• deep-symbolic-mathematics / Multimodal-Math-Pretraining
  [ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-t…
  ☆58Updated last year
• Cranial-XIX / longhorn
  Official PyTorch Implementation of the Longhorn Deep State Space Model
  ☆57Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆110Updated last year
• SakanaAI / Sudoku-Bench
  An AI benchmark for creative, human-like problem solving using Sudoku variants
  ☆147Updated 3 weeks ago
• microsoft / ReinMax
  Beyond Straight-Through
  ☆108Updated 2 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 3 years ago
• GFNOrg / gfn-lm-tuning
  ☆185Updated last year
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆56Updated last year
• autonomousvision / akorn
  [ICLR'25] Artificial Kuramoto Oscillatory Neurons
  ☆106Updated 2 months ago
• aaronwalsman / ltron
  ☆63Updated last year
• xu3kev / BARC
  Bootstrapping ARC
  ☆153Updated last year
• khalil-research / ViTARC
  ☆31Updated 10 months ago
• likenneth / othello_world
  Emergent world representations: Exploring a sequence model trained on a synthetic task
  ☆197Updated 2 years ago
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• vmicheli / delta-iris
  Efficient World Models with Context-Aware Tokenization. ICML 2024
  ☆116Updated last year
• gregorbachmann / Next-Token-Failures
  ☆107Updated last year
• plai-group / gsdm
  Graphically structured diffusion model.
  ☆21Updated 2 years ago