ActiveInferenceInstitute / ActiveInferAntsLinks
Active Inference models of/for Ants
☆26Updated 4 months ago
Alternatives and similar repositories for ActiveInferAnts
Users that are interested in ActiveInferAnts are comparing it to the libraries listed below
Sorting:
- ☆31Updated 2 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Discussion of MeTTa programming with examples☆34Updated 4 months ago
- Content of the Active Inference Journal☆41Updated 2 months ago
- ☆109Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- A minimalistic-bootstrap to find a quantum theory of the cosmos.☆106Updated last year
- Framework for Self-Organizing Python Agents☆29Updated last year
- Work in progress! I don't recommend looking at the code right now.☆24Updated last month
- A dataset of alignment research and code to reproduce it☆78Updated 2 years ago
- Factored Cognition Primer: How to write compositional language model programs☆50Updated 2 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- Tools, visualizations, and tutorials for massive embedding datasets.☆31Updated 2 years ago
- Minimal open-source implementation of AlphaProof [WIP]☆59Updated this week
- ☆86Updated last week
- A programming language for formal/informal computation.☆43Updated 2 weeks ago
- MeTTa programming language implementation☆222Updated this week
- BETSE — Bioelectric Tissue Simulation Engine☆86Updated 9 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆34Updated last year
- GPT-based language channel for NARS (ONA)☆37Updated 11 months ago
- ☆62Updated 10 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- ☆125Updated last year
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆99Updated last year
- A repository of prompts and Python scripts for intelligent transformation of raw text into diverse formats.☆31Updated 2 years ago
- ☆11Updated 2 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated last month
- The history files when recording human interaction while solving ARC tasks☆118Updated this week