Search Results for author:
Found 3 papers, 0 papers with code
Formalizing Statistical Causality via Modal Logic
We propose a formal language for describing and explaining statistical causality.
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
We propose a new approach to formally describing the requirement for statistical inference and checking whether a program uses the statistical method appropriately.
Hypothesis Testing Interpretations and Renyi Differential Privacy
These conditions are useful to analyze the distinguishability power of divergences and we use them to study the hypothesis testing interpretation of some relaxations of differential privacy based on Renyi divergence.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
