research
∙
10/30/2022
Formalizing Statistical Causality via Modal Logic
We propose a formal language for describing and explaining statistical c...
share
research
∙
08/15/2022
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
We propose a new approach to formally describing the requirement for sta...
research
∙
06/12/2022
Divergences on Monads for Relational Program Logics
Several relational program logics have been introduced for integrating r...
research
∙
07/02/2021
Higher-order probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
research
∙
07/22/2020
Graded Hoare Logic and its Categorical Semantics
Deductive verification techniques, based on program logics (i.e., the fa...
research
∙
05/24/2019
Hypothesis Testing Interpretations and Renyi Differential Privacy
Differential privacy is the gold standard in data privacy, with applicat...
research
∙
10/18/2018
Codensity Lifting of Monads and its Dual
We introduce a method to lift monads on the base category of a fibration...
research
∙
07/16/2018
Formal verification of higher-order probabilistic programs
Probabilistic programming provides a convenient lingua franca for writin...
research
∙
10/24/2017