Login / Signup
Less is more: refinement proofs for probabilistic proofs.
Kunming Jiang
Devora Chait-Roth
Zachary DeStefano
Michael Walfish
Thomas Wies
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
theorem proving
formal proofs
theorem prover
probabilistic model
decision procedures
database
genetic algorithm
real world
decision making
bayesian networks
data structure
posterior probability
context sensitive
uncertain data
equational theories
automated theorem provers