Alternatives and similar repositories for AutoCog

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

• 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
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆90Updated last year
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆99Updated last year
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆36Updated 2 years ago
• katsumiok / pyaskit
  AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)
  ☆80Updated last year
• NL2Code / CodeM
  ☆44Updated last year
• epfl-dlab / GPTurk
  ☆29Updated 2 years ago
• charlesjin / emergent-semantics
  ☆42Updated last year
• RewardReports / reward-reports
  Documentation for dynamic machine learning systems.
  ☆29Updated last year
• gonglinyuan / ast_t5
  ☆83Updated last year
• catid / lllm
  Latent Large Language Models
  ☆19Updated last year
• laramohan / wikillm
  LLMs as Collaboratively Edited Knowledge Bases
  ☆46Updated last year
• TheDuckAI / arb
  Advanced Reasoning Benchmark Dataset for LLMs
  ☆47Updated 2 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆141Updated 9 months ago
• kyegomez / EXA-1
  An EXA-Scale repository of Multi-Modality AI resources from papers and models, to foundational libraries!
  ☆40Updated 2 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• nyu-mll / ILF-for-code-generation
  ☆80Updated 10 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆32Updated 2 years ago
• collinskatie / checkmate
  ☆45Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• Lagooon / LeanSTaR
  ☆42Updated last year
• plastic-labs / dspy-opentom
  Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset
  ☆26Updated last year
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 6 months ago
• LLM360 / crystalcoder-train
  Pre-training code for CrystalCoder 7B LLM
  ☆57Updated last year
• kyegomez / SelfExtend
  Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta
  ☆13Updated last year
• aorwall / moatless-testbeds
  Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…
  ☆14Updated 9 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆22Updated 3 years ago
• cavaunpeu / mcts-llm-codegen
  A Python reimplementation of "Planning with Large Language Models for Code Generation" (https://arxiv.org/abs/2303.05510)
  ☆18Updated 2 years ago
• luohongyin / EntST
  Entailment self-training
  ☆26Updated 2 years ago