Alternatives and similar repositories for opentau

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

• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆175Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• 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
• deployradiant / pychatml
  Chat Markup Language conversation library
  ☆55Updated last year
• CarperAI / Code-Pile
  This repository contains all the code for collecting large scale amounts of code from GitHub.
  ☆109Updated 2 years ago
• IsaacRe / Syntactically-Constrained-Sampling
  LLM sampling method for enforcing syntax adherence in generated output
  ☆24Updated 2 years ago
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆96Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated last year
• charlesfrye / cuda-substrings
  Because it's there.
  ☆16Updated last year
• kyegomez / Andromeda
  An all-new Language Model That Processes Ultra-Long Sequences of 100,000+ Ultra-Fast
  ☆150Updated last year
• xjdr-alt / muzero_sketch
  ☆40Updated last year
• Narsil / bloomserver
  ☆39Updated 3 years ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆282Updated 7 months ago
• mkuchnik / relm
  ReLM is a Regular Expression engine for Language Models
  ☆107Updated 2 years ago
• emrgnt-cmplxty / zero-shot-replication
  ☆73Updated 2 years ago
• gsuuon / ad-llama
  Structured inference with Llama 2 in your browser
  ☆53Updated last year
• sshh12 / llm_optimize
  LLM Optimize is a proof-of-concept library for doing LLM (large language model) guided blackbox optimization.
  ☆59Updated 2 years ago
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆53Updated last year
• official-elinas / zeus-llm-trainer
  Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models
  ☆69Updated 2 years ago
• laramohan / wikillm
  LLMs as Collaboratively Edited Knowledge Bases
  ☆45Updated last year
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated last year
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• RichardKelley / dendron
  A library for building software agents using behavior trees and language models.
  ☆89Updated 9 months ago
• kyegomez / Exa
  Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…
  ☆25Updated last year
• agemoai / arcsolver
  A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.
  ☆25Updated 10 months ago
• catid / lllm
  Latent Large Language Models
  ☆19Updated last year
• abetlen / program-constrained-language-model-sampling
  ☆35Updated 2 years ago
• JD-P / RetroInstruct
  Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.
  ☆32Updated last month
• agiresearch / Formal-LLM
  Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
  ☆131Updated last year