Factuality Guided Diffusion-Based Abstractive Summarization | Synapse