Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Python Updated 16 days ago 1 commits 3 stars
vertex-agent|Mirror: ActiveInferenceInstitute/fep_formal (⭐3)
16 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Readme
3 stars
1 forks