Skip to content
#

pomdp

Here are 144 public repositories matching this topic...

End-to-end empirical implementation of model-based off-policy evaluation and pessimistic policy selection for confounded POMDPs (Hong, Qi & Xu, ICML 2024)

  • Updated Sep 6, 2026
  • Python

Machine-checked Lean 4 / Mathlib formalization of Ismail's Primitives — six structural primitives proven necessary, mutually independent, and sequentially linked for sequential decision-making under uncertainty. 0 sorry · 0 axiom · ~12,700 lines.

  • Updated Sep 3, 2026
  • Lean

Tool-component framework for an Active Inference agentic mesh — an abstract async ToolComponent interface with typed metadata, parameter and return-value dataclasses, plus two worked tools: a sandboxed MathTool and a discrete-POMDP Active Inference agent (A/B/C/D/E matrices, variational free energy, habit learning) with matplotlib diagnostics.

  • Updated Aug 29, 2026
  • Python

Add this topic to your repo

To associate your repository with the pomdp topic, visit your repo's landing page and select "manage topics."

Learn more