Verification of Probabilistic Predictions: A Brief Review | Synapse