Repository navigation

All pull requests

Labels (10)Milestones (0)New pull request

Open

(21)

Closed

(58)

feat(Divergence): Pinsker's inequality
#93KoushaKalantari opened Nov 13, 20263 tasks
feat: differential privacy (5/5): advanced composition
#92KoushaKalantari opened Nov 13, 20263 tasks
feat: differential privacy (4/5): zero-concentrated differential privacy
#91KoushaKalantari opened Nov 13, 20263 tasks
feat: differential privacy (3/5): Rényi differential privacy
#90KoushaKalantari opened Nov 13, 20263 tasks
feat: differential privacy (2/5): randomized response, Laplace, geometric and exponential mechanisms
#89KoushaKalantari opened Nov 13, 20263 tasks
feat: differential privacy (1/5): definition, post-processing, group privacy, composition
#88KoushaKalantari opened Nov 13, 20263 tasks
Bump mathlib dependency to 7bcc5e9
#87github-actions[bot] opened Nov 13, 2026Bot
feat: privacy leakage measures (6/6): differential privacy under Hamming distortion
#86KoushaKalantari opened Nov 13, 20263 tasks
feat: privacy leakage measures (5/6): maximal (α,β)-leakage
#85KoushaKalantari opened Nov 13, 20263 tasks
feat: privacy leakage measures (4/6): gain-function leakage
#84KoushaKalantari opened Nov 13, 20263 tasks
feat: privacy leakage measures (3/6): variational formula for the ∞-Rényi divergence
#83KoushaKalantari opened Nov 13, 20263 tasks
feat: privacy leakage measures (2/6): α-leakage and maximal α-leakage
#82KoushaKalantari opened Nov 13, 20263 tasks
feat: privacy leakage measures (1/6): maximal leakage
#79KoushaKalantari opened Nov 12, 20263 tasks done
feat(Invariance): Proof for CLT based on Lindeberg swap principle
#73Swag-Pseudopy opened Nov 1, 2026
feat(PValues): add IsPValue for composite null hypotheses
#71rajarshi-mukherjee24 opened Oct 30, 2026Collaborator
Add Statlib.Testing: Neyman–Pearson tests and the Bayes-risk bridge
#63rajarshi-mukherjee24 opened Oct 27, 2026Collaborator
feat: prove Contiguous1 → Contiguous2 (Le Cam's first lemma)
#57dsillman2000 opened Oct 21, 2026
feat: add abstract graphical Markov properties
#56zixiaowang17 opened Oct 14, 2026Collaborator
Add unit-level contrasts and finite-population average effects
#44bocowgill opened Sep 19, 2026Contributor
feat: Tweedie distribution
#16bjoernkjoshanssen opened Jun 27, 2026
feat: concrete Neyman Pearson, first pass
#2bjoernkjoshanssen opened Jun 2, 2026
1

Navigation Menu

Repository navigation

All pull requests

feat(Divergence): Pinsker's inequality

feat: differential privacy (5/5): advanced composition

feat: differential privacy (4/5): zero-concentrated differential privacy

feat: differential privacy (3/5): Rényi differential privacy

feat: differential privacy (2/5): randomized response, Laplace, geometric and exponential mechanisms

feat: differential privacy (1/5): definition, post-processing, group privacy, composition

Bump `mathlib` dependency to 7bcc5e9

feat: privacy leakage measures (6/6): differential privacy under Hamming distortion

feat: privacy leakage measures (5/6): maximal (α,β)-leakage

feat: privacy leakage measures (4/6): gain-function leakage

feat: privacy leakage measures (3/6): variational formula for the ∞-Rényi divergence

feat: privacy leakage measures (2/6): α-leakage and maximal α-leakage

feat: privacy leakage measures (1/6): maximal leakage

feat(Invariance): Proof for CLT based on Lindeberg swap principle

feat(PValues): add IsPValue for composite null hypotheses

Add Statlib.Testing: Neyman–Pearson tests and the Bayes-risk bridge

feat: prove Contiguous1 → Contiguous2 (Le Cam's first lemma)

feat: add abstract graphical Markov properties

Add unit-level contrasts and finite-population average effects

feat: Tweedie distribution

feat: concrete Neyman Pearson, first pass

Pull requests