Verification of message-passing uninterpreted programs.
Weijiang HongZhenbang ChenYufeng ZhangHengbiao YuYide DuJi WangPublished in: Sci. Comput. Program. (2024)
Keyphrases
- message passing
- belief propagation
- probabilistic inference
- distributed systems
- factor graphs
- shared memory
- markov random field
- distributed shared memory
- inference in graphical models
- approximate inference
- sum product algorithm
- graphical models
- stereo matching
- graph cuts
- matrix multiplication
- ldpc codes
- sum product
- bayesian networks