ActiveInferenceInstitute / ActiveInferAntsLinks
Active Inference models of/for Ants
☆17Updated last month
Alternatives and similar repositories for ActiveInferAnts
Users that are interested in ActiveInferAnts are comparing it to the libraries listed below
Sorting:
- Discussion of MeTTa programming with examples☆26Updated 3 weeks ago
- This is the repo for all cell sorting code and data☆16Updated 7 months ago
- Work in progress! I don't recommend looking at the code right now.☆17Updated last year
- Framework for building algorithms based on FractalAI theory☆19Updated 4 years ago
- ☆13Updated 2 years ago
- Logical Operations On Puzzles: Simple Iterative Reasoning Tests for LLMs first through wordgrids☆17Updated 3 months ago
- Repo for solving arc problems with an Neural Cellular Automata☆15Updated 2 weeks ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- Framework for Self-Organizing Python Agents☆29Updated last year
- Content of the Active Inference Journal☆39Updated 9 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆16Updated last year
- ☆18Updated last year
- Summarize the top 30 most popular arXiv papers on Reddit, Hacker News and Hugging Face in the last 30 days. And post them to Slack, Twitt…☆21Updated last week
- A repository of prompts and Python scripts for intelligent transformation of raw text into diverse formats.☆30Updated 2 years ago
- ☆11Updated 2 years ago
- LMQL implementation of tree of thoughts☆34Updated last year
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆16Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆62Updated last year
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆15Updated 2 years ago
- Tools, visualizations, and tutorials for massive embedding datasets.☆31Updated last year
- ☆38Updated last year
- ☆10Updated last year
- ☆9Updated 2 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 5 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last month
- an overview of decentralized science events and meetups☆15Updated last year
- gpt completions in vscode☆34Updated 2 years ago
- Engineering the state of RNN language models (Mamba, RWKV, etc.)☆32Updated last year
- A probabilistic programming language, based on Church☆17Updated 7 years ago