ModelStream #008.1 ~ 6/18/2026 at 12 UTC
James McClure, Gethin Norman
Formal Verification of Discrete Active Inference Systems in PRISM
youtube.com/live/-q8XqVxQq…
Policy Entanglement in Active Inference: A Coupling-Parameter Deformation Framework for Multi-Stream Policy Posterior Distributions, Machine-Checked and Simulated with a Typed Float Boundary
Code: github.com/ActiveInferenc…
Paper: zenodo.org/records/204196…
Daniel Friedman
Active inference models often need to choose among several policy streams at once, for example streams tied to different effectors, sensory channels, agents, agents within a group, or planning horizons. Standard discrete active-inference implementations keep this manageable by treating those streams as independent, but that simplification removes the dependencies that make coordinated action possible. This manuscript introduces policy entanglement: a controlled deformation of the usual independent policy posterior by a scalar coupling strength and explicit compatibility and preference potentials. The construction preserves the finite active inference setting while making cross-stream dependence a first-class modeling object rather than an implicit artifact of the chosen factorization. The framework keeps a claim-strength ledger that distinguishes exact recoveries, parameterized embeddings, numerical witnesses, and structural analogies. Mean-field active inference is the exact independent case. Products of experts, copula variational inference, options, hierarchical and sophisticated inference, branching-time active inference, renormalization-style compression, and Markov-blanket multi-agent views are connected as special cases through their stated posterior-factorization maps. The central result is a free-energy decomposition that separates ordinary per-stream free energy, coupling preference terms, the coupling normalizer, and the information cost of leaving independence.
"Fundamentals of Active Inference" is now published! mitpress.mit.edu/9780262050951/…
Textbook Group begins in April at the Institute, all levels of familiarity with Active Inference welcome to join: coda.io/form/Active-In…
"Towards Lean 4 Formalization of the Free Energy Principle: AI-Driven Theorem Sketching and Verification for Active Inference and Bayesian Mechanics"
Daniel Friedman
Paper: zenodo.org/records/196992…
Code: github.com/ActiveInferenc…
"Fundamentals of Active Inference" is now published! mitpress.mit.edu/9780262050951/…
Textbook Group begins in April at the Institute, all levels of familiarity with Active Inference welcome to join: coda.io/form/Active-In…
A Literature Review Architecture for Active Inference: Scalable Assertion Extraction, Nanopublications, and Citation-Weighted Hypothesis Scoring: A Computational Meta-Analysis of the Active Inference Literature (2000–2026) zenodo.org/records/194619…
Daniel Friedman & Joel Dietz github.com/ActiveInferenc…
"Fundamentals of Active Inference" is now published! mitpress.mit.edu/9780262050951/…
Textbook Group begins in April at the Institute, all levels of familiarity with Active Inference welcome to join: coda.io/form/Active-In…
Live in 1 hour: 2026 Quarterly Roundtable #1
youtube.com/live/_HkuQ0Hhi…
Institute and Ecosystem Updates. Directions and opportunities for 2026.
All Quarterly Roundtable videos since 2021: youtube.com/playlist?list=…
Announcements for week of March 25, 2026 weekly.activeinference.institute
Tune in on Friday March 27 at 18 UTC to watch the 2026 Quarterly Roundtable #1 youtube.com/live/_HkuQ0Hhi…: find out what the Institute has been up to in the first part of 2026, and (some of) what is upcoming this year.
Upcoming Livestreams:
GuestStream #127.1 ~ 3/26/2026 at 15 UTC
with Borjan Milinković and Jaan Aru
On biological and artificial consciousness: A case for biological computationalism
youtube.com/live/yFaRYAvix…
Roundtable 2026.1 ~ 3/27/2026 at 18 UTC
2026 Quarterly Roundtable #1
youtube.com/live/_HkuQ0Hhi…
ModelStream #007.3 ~ 4/9/2026 at 15 UTC
with Conor Heins et al.: “pymdp 1.0.0“
youtube.com/live/dBAx-VDVc…
Code: github.com/infer-actively…
“Fundamentals of Active Inference” textbook group
The first cohort of the “Fundamentals of Active Inference: Principles, Algorithms, and Applications of the Free Energy Principle for Engineers” textbook group is starting on April 21st!
Register for the Textbook group here — …tbook-group.activeinference.institute
Learn more about the author, Sanjeev Namjoshi, here — sanjeevnamjoshi.com
Open Project Meetings this week:
See activities.activeinference.institute for the location of all events listed here.
3/26/2026, 13:00 UTC — RxInfer.jl ~ Learning session.
3/27/2026, 13:00 UTC — RxInfer.jl ~ Projects session.
Join the Discord: discord.activeinference.institute
Learn more about the Active Inference Ecosystem ecosystem.activeinference.institute
Make a Measurement to get your update included in the upcoming Newsletter: measure.activeinference.institute
We are a 501(c)(3) educational non-profit. Donate at: donate.activeinference.institute
Email [email protected] with any questions.
77K Followers 3K FollowingScientist at Tufts University; my lab studies anatomical and behavioral decision-making at multiple scales of biological, artificial, and hybrid systems.
32K Followers 9K FollowingI’m not like the other Bayesians. I’m different.
Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
43K Followers 6K FollowingViews of a Transhuman neo-Buddhist from the future on sociology, artificial intelligence, mathematics, philosophy, neonoir film, and the post-singularity era.
6K Followers 583 FollowingAssociate Professor, Okinawa Institute of Science and Technology Graduate University (OIST); Head, Embodied Cognitive Science Unit (ECSU); PhD Cognitive Science
15K Followers 12K FollowingCognitive scientist |PI working on Self-Consciousness, Embodiment & Social Interactions in Humans & Artificial Agents | RT not endorsement
2K Followers 223 FollowingResearch Associate Professor at the Laureate Institute for Brain Research focused on computational neuroscience, interoception, emotion, and decision-making
3K Followers 831 FollowingPatented Fintech AI Wizard Engineer
https://t.co/N0LWJPVJub
All acts of memetic criminality should be considered poetry
◯/acc
3K Followers 5K FollowingPostdoctoral researcher studying social interaction and the self, with a focus on neurosocial minorities.
Bluesky: @dimitrisbolis .bsky.social
457 Followers 2K Following𒀭𒂗𒆠 Some rules are golden. 𒀭𒎏𒋚 Meaning is Engineered🔧Optimistic humanist who believes we can decode the old, align the new, and reduce absurdity at scale
11 Followers 191 FollowingComputer Science, Neuroscience and Math at Ashoka University | Interested in 3D spatial naviagtion and memory, Numerical cogniton and geometric cognition | 21
34 Followers 1K FollowingNavigating the intricacies of neural networks and my sense of reality, all while infusing a touch of wonder with every gradient descent.
33 Followers 387 FollowingHybrid loquacious. Blame is mine alone, not on any connected—be it employer, publisher, neighbor, associate, family, or friend.
3 Followers 345 FollowingBusiness optimization consultant, working with companies in the need of strategic change and efficient project management to get to its true potential.
18 Followers 165 Following🧠 Published what didn't exist: a universal equation for consciousness. Creator of The Lacasse Theory. Founder of E.M.O.S.T. Self-taught. 🇨🇦
2K Followers 4K FollowingOur mission is to advance disruptive innovation and the global digital transformation of the world. Investing, collaborating, and accelerating trajectory.