Alternatives and similar repositories for AutoCog

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

• plastic-labs / dspy-opentom
  Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset
  ☆18Updated 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, …
  ☆40Updated last year
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• katsumiok / pyaskit
  AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)
  ☆79Updated 7 months ago
• NL2Code / CodeM
  ☆44Updated last year
• cavaunpeu / mcts-llm-codegen
  A Python reimplementation of "Planning with Large Language Models for Code Generation" (https://arxiv.org/abs/2303.05510)
  ☆18Updated last year
• catid / lllm
  Latent Large Language Models
  ☆18Updated last year
• laramohan / wikillm
  LLMs as Collaboratively Edited Knowledge Bases
  ☆45Updated last year
• charlesjin / emergent-semantics
  ☆41Updated last year
• Lagooon / LeanSTaR
  ☆41Updated 11 months ago
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆96Updated last year
• HazyResearch / embroid
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Updated 2 years ago
• kyegomez / SelfExtend
  Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta
  ☆13Updated 9 months ago
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆88Updated last year
• da03 / WildVisualizer
  ☆23Updated 3 weeks ago
• RewardReports / reward-reports
  Documentation for dynamic machine learning systems.
  ☆29Updated 11 months ago
• smearle / autoverse
  Generative cellular automaton-like learning environments for RL.
  ☆19Updated 7 months ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆18Updated 7 months ago
• luohongyin / EntST
  Entailment self-training
  ☆25Updated 2 years ago
• collinskatie / checkmate
  ☆45Updated 11 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆44Updated last month
• xjdr-alt / muzero_sketch
  ☆39Updated last year
• tanyuqian / cappy
  NeurIPS 2023 - Cappy: Outperforming and Boosting Large Multi-Task LMs with a Small Scorer
  ☆43Updated last year
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆39Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆133Updated 4 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆70Updated 7 months ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆34Updated last year
• RodkinIvan / associative-recurrent-memory-transformer
  [ICML 24 NGSM workshop] Associative Recurrent Memory Transformer implementation and scripts for training and evaluation
  ☆51Updated this week
• LLM360 / crystalcoder-train
  Pre-training code for CrystalCoder 7B LLM
  ☆55Updated last year
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆22Updated 2 years ago