A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic.
Roberto MetereChangyu DongPublished in: CoRR (2023)
Keyphrases
- probabilistic relational
- proof theory
- linear logic
- natural deduction
- cut elimination
- proof theoretic
- sequent calculus
- proof search
- logical rules
- sequent calculi
- modal logic
- higher order logic
- random sampling
- theorem prover
- inference rules
- automated theorem proving
- logic programming
- theorem proving
- classical logic
- monte carlo
- bayesian logic programs
- logical framework
- multi valued
- sampling algorithm
- automated reasoning
- default reasoning
- proof procedure
- sample size
- complete axiomatization
- maximum likelihood
- domain knowledge