SFedXL: Semi-synchronous federated learning with cross-sharpness and layer-freezing