Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System.
Satoshi KuraHiroshi UnnoPublished in: CoRR (2024)
Keyphrases
- higher order
- automated verification
- model checking
- automated reasoning
- bayesian networks
- high order
- probabilistic model
- conditional random fields
- formal verification
- markov random field
- pairwise
- generative model
- probabilistic reasoning
- lower order
- natural images
- data sets
- np hard
- information theoretic
- uncertain data
- graph theory
- probability theory
- learning algorithm
- low order
- machine learning
- data mining