Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang Devora Chait-Roth Zachary DeStefano Michael Walfish Thomas Wies

Published in: SP (2023)

Keyphrases

formal proofs
mathematical proofs
theorem prover
theorem proving
data sets
bayesian networks
relational databases
uncertain data
decision procedures
equational theories
formal proof
interactive theorem proving
stochastic logic programs
natural deduction
computer vision
artificial intelligence
genetic algorithm