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
  ☆173Updated 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, …
  ☆41Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated last year
• deployradiant / pychatml
  Chat Markup Language conversation library
  ☆55Updated last year
• IsaacRe / Syntactically-Constrained-Sampling
  LLM sampling method for enforcing syntax adherence in generated output
  ☆25Updated 2 years ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆282Updated 5 months ago
• JD-P / RetroInstruct
  Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.
  ☆32Updated 6 months ago
• CarperAI / Code-Pile
  This repository contains all the code for collecting large scale amounts of code from GitHub.
  ☆110Updated 2 years ago
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆21Updated 10 months ago
• kyegomez / Andromeda
  An all-new Language Model That Processes Ultra-Long Sequences of 100,000+ Ultra-Fast
  ☆152Updated last year
• gsuuon / ad-llama
  Structured inference with Llama 2 in your browser
  ☆53Updated 10 months ago
• danielpatrickhug / GitModel
  Codebase topic modeling using GNNs(Node aggregation and clustering)
  ☆61Updated 2 years ago
• xjdr-alt / muzero_sketch
  ☆39Updated last year
• abetlen / program-constrained-language-model-sampling
  ☆35Updated 2 years ago
• official-elinas / zeus-llm-trainer
  Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models
  ☆70Updated 2 years ago
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆53Updated last year
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆34Updated last year
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆132Updated 3 months ago
• FL33TW00D / embd
  GPU accelerated client-side embeddings for vector search, RAG etc.
  ☆65Updated last year
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆96Updated last year
• neurallambda / awesome-reasoning
  a curated list of data for reasoning ai
  ☆137Updated last year
• SamsungSAILMontreal / ByteCraft
  ☆35Updated 5 months ago
• RichardKelley / dendron
  A library for building software agents using behavior trees and language models.
  ☆87Updated 7 months ago
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• emrgnt-cmplxty / zero-shot-replication
  ☆74Updated 2 years ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• IntrinsicLabsAI / grammar-builder
  Generates grammer files from typescript for LLM generation
  ☆38Updated last year