Skip to content

feat(Divergence): Pinsker's inequality - #93

Draft
KoushaKalantari wants to merge 1 commit into
stat-lib:mainfrom
KoushaKalantari:pinsker
Draft

KoushaKalantari wants to merge 1 commit into
stat-lib:mainfrom
KoushaKalantari:pinsker

Conversation

@KoushaKalantari

Copy link
Copy Markdown

Formalizes: Pinsker's inequality, as in Polyanskiy, Wu, "Information Theory: From Coding to Learning", Cambridge University Press 2024, Thm. 7.10; Pinsker, "Information and Information Stability of Random Variables and Processes", Holden-Day 1964.
How this PR relates to the InfoLeakage library: https://github.com/KoushaKalantari/InfoLeakage#relationship-to-statlib

AI use: I used Opus 5.5 for creating the code, and Codex (gpt-6-astra) for reviewing the proofs.

  • I have read and understood every line of code in this PR.
  • I take responsibility for its correctness, style, and fit with the surrounding library.
  • If a reviewer raises a question, I can answer it without re-running the AI tool.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant