Agreement-Constrained Efficient Probabilistic Minimum Bayes Risk Decoding with Knowledge Distillation Metrics | Synapse