Fundamental Limits in Formal Verification of Message-Passing Neural Networks.
Marco SälzerMartin LangePublished in: ICLR (2023)
Keyphrases
- message passing
- formal verification
- fundamental limits
- neural network
- model checking
- belief propagation
- distributed systems
- probabilistic inference
- bounded model checking
- model checker
- factor graphs
- automated verification
- shared memory
- inference in graphical models
- symbolic model checking
- markov random field
- multilayer perceptron
- graphical models
- approximate inference
- temporal logic
- ldpc codes
- loopy belief propagation
- sum product algorithm
- distributed shared memory
- junction tree
- graph cuts
- video sequences
- image segmentation