Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Restructure definitions of DP #68

Open
wants to merge 30 commits into
base: main
Choose a base branch
from
Open

Restructure definitions of DP #68

wants to merge 30 commits into from

Conversation

markusdemedeiros
Copy link

@markusdemedeiros markusdemedeiros commented Oct 28, 2024 •
edited
Loading

  • reparameterize zCDP to address issue zCDP definition unnecessarily weakens zCDP composition bound #45
  • Separate noise fields out of abstract DP interface
  • Move adp degrade function into separate field
  • Fix computability of abstract DP instances
  • Add top-level query executions
  • Improve tactic support for abstract DP proofs
    • Instead of writing tactics, I tweaked the definitions in abstract DP so that they could infer the right terms. The instantiation code looks uglier but it's a good price to pay for easier to read abstract proofs. See ??
  • Typeclass synonym for discrete probability to simplify abstract definition
  • Simplify histogram proof

@markusdemedeiros markusdemedeiros marked this pull request as ready for review October 29, 2024 15:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@markusdemedeiros