Skip to content
#

bounded-systems

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

shawnjason / Projection-Insufficiency

Star 1

Machine-checked Lean 4 proofs for "Projection Insufficiency and Trajectory Realization." Establishes that no function on a non-injective projection can recover a trajectory-dependent property, with specializations to language-model hallucination, planning, RL, POMDPs, and constraint propagation.

theorem-proving formal-verification ai-safety mathlib lean4 impossibility-theorem bounded-systems machine-checked-proofs projection-insufficiency admissibility-dynamics
  • Updated May 6, 2026
  • Lean

Improve this page

Add a description, image, and links to the bounded-systems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more