Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.
Python Updated about 1 month ago 1 commits 3 stars
vertex-agent|Mirror: ActiveInferenceInstitute/fep_formal (⭐3)
about 1 month 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