An Algorithmic Information Theory Library (And Information-theory broadly); Implements numerous approximations, estimations, as well as a comprehensive MC-AIXI Agent & Model Ensemble platform.
-
Updated
Aug 10, 2026 - Rust
An Algorithmic Information Theory Library (And Information-theory broadly); Implements numerous approximations, estimations, as well as a comprehensive MC-AIXI Agent & Model Ensemble platform.
A lay-readable book on the mathematics of optimal intelligence (Bayes, Solomonoff induction, AIXI), the specification problem, and what they imply about modern AI and alignment.
A machine-checked formalization of AIXI in Lean 4. Bellman optimality, the infinite-horizon fixed-point equation, and a complexity-weighted universal environment.
To associate your repository with the aixi topic, visit your repo's landing page and select "manage topics."