Alternatives and similar repositories for ActiveInferAnts

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

• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆66Updated 11 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• willkurt / evenflow
  Framework for Self-Organizing Python Agents
  ☆29Updated 2 years ago
• Dicklesworthstone / model_guided_research
  ☆92Updated last week
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆34Updated 5 months ago
• epoch-research / ftm
  Work in progress! I don't recommend looking at the code right now.
  ☆24Updated 2 months ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆50Updated 2 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆78Updated 2 years ago
• strangeloopcanon / LOOP-Evals
  Logical Operations On Puzzles: Simple Iterative Reasoning Tests for LLMs first through wordgrids
  ☆18Updated 11 months ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆36Updated 2 years ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated last week
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆43Updated last month
• ActiveInferenceInstitute / ActiveInferenceJournal
  Content of the Active Inference Journal
  ☆41Updated 3 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆45Updated last month
• lumpenspace / FRAG
  Flexible, efficient, and context-aware generation from large unstructured knowledge sources.
  ☆17Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆20Updated 2 years ago
• jcole75 / ARC_Solver
  Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.
  ☆16Updated 3 years ago
• thesephist / spectre
  Sparse autoencoders for Contra text embedding models
  ☆25Updated last year
• normal-computing / branches
  Prototype advanced LLM algorithms for reasoning and planning.
  ☆99Updated last year
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆226Updated last week
• adamnemecek / traceoid.ai
  ☆111Updated last year
• PrimeIntellect-ai / smart-contracts
  Solidity contracts for the decentralized Prime Network protocol
  ☆26Updated 7 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆38Updated last year
• valory-xyz / aea-babyagi
  Adaptation of babyagi in the Open AEA framework
  ☆15Updated 2 years ago
• xjdr-alt / muzero_sketch
  ☆40Updated last year
• macrocosmcorp / alexandria
  Tools, visualizations, and tutorials for massive embedding datasets.
  ☆31Updated 2 years ago
• andrew-silva / mlx-rlhf
  An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.
  ☆37Updated last year