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
  ☆58Updated 9 months ago
• abdulhaim / LMRL-Gym
  ☆85Updated 9 months ago
• yilundu / irem_code_release
  ICML 2022: Learning Iterative Reasoning through Energy Minimization
  ☆45Updated 2 years ago
• Qualcomm-AI-research / codeit
  ☆25Updated 9 months ago
• Silent-Zebra / twisted-smc-lm
  ☆25Updated this week
• belindal / LaMPP
  Code for LaMPP: Language Models as Probabilistic Priors for Perception and Action
  ☆36Updated last year
• google-research / crossbeam
  ☆43Updated last year
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆84Updated last year
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆76Updated 3 weeks ago
• khalil-research / ViTARC
  ☆18Updated 3 weeks ago
• Cranial-XIX / longhorn
  Official PyTorch Implementation of the Longhorn Deep State Space Model
  ☆50Updated 3 months ago
• HKUNLP / diffusion-vs-ar
  [ICLR 2025] Code for the paper "Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning"
  ☆45Updated last month
• linlu-qiu / lm-inductive-reasoning
  ☆34Updated last year
• MurtyShikhar / structural-grokking
  Code for our ACL '23 paper titled "Grokking of Hierarchical Structure in Vanilla Transformers"
  ☆21Updated last year
• GFNOrg / gfn-lm-tuning
  ☆173Updated last year
• BatsResearch / planetarium
  Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL
  ☆48Updated 5 months ago
• NohTow / PPL-MCTS
  Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22
  ☆64Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆90Updated 4 months ago
• sethkarten / pokechamp
  Official repository of the paper, PokeChamp: an Expert-level Minimax Language Agent for Competitive Pokemon.
  ☆47Updated this week
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated last year
• aaronwalsman / ltron
  ☆59Updated 8 months ago
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆148Updated 4 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆34Updated 11 months ago
• xu3kev / BARC
  Bootstrapping ARC
  ☆105Updated 4 months ago
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆13Updated last year
• google-deepmind / emergent_in_context_learning
  ☆81Updated 8 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• princeton-nlp / lwm
  We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…
  ☆22Updated last year
• AllanYangZhou / universal_neural_functional
  ☆49Updated last year
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆42Updated 6 months ago