ActiveInferenceInstitute / ActiveInferAntsLinks
Active Inference models of/for Ants
☆20Updated last month
Alternatives and similar repositories for ActiveInferAnts
Users that are interested in ActiveInferAnts are comparing it to the libraries listed below
Sorting:
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Discussion of MeTTa programming with examples☆33Updated last month
- Framework for Self-Organizing Python Agents☆29Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Tools, visualizations, and tutorials for massive embedding datasets.☆31Updated 2 years ago
- Work in progress! I don't recommend looking at the code right now.☆24Updated 4 months ago
- ☆29Updated 2 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- a decentralized dataset generator and manipulator.☆11Updated this week
- ☆59Updated 7 months ago
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆82Updated 3 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- Experiments with interactive theorem provers, LLMs and formal systems☆21Updated 2 years ago
- Content of the Active Inference Journal☆41Updated last year
- Solidity contracts for the decentralized Prime Network protocol☆27Updated 3 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17Updated last year
- Code repository for Liquid Time-stochasticity networks (LTSs)☆21Updated 2 years ago
- Auto-generate programs in C derived languages for multiple platforms☆18Updated 2 months ago
- ☆29Updated last year
- Logical Operations On Puzzles: Simple Iterative Reasoning Tests for LLMs first through wordgrids☆16Updated 7 months ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Prototype advanced LLM algorithms for reasoning and planning.☆97Updated last year
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- Factored Cognition Primer: How to write compositional language model programs☆49Updated 2 years ago
- LMQL implementation of tree of thoughts☆34Updated last year
- ☆13Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆111Updated last year
- Open Source Chat Interface For Web3 Wallets, Dapps, & Smart Contracts☆38Updated last year
- A Cython library to solve the Bittensor registration POW on CUDA☆13Updated last month
- 🏥 Health monitor for a Petals swarm☆39Updated last year