HR-Extreme: A High-Resolution Dataset for Extreme Weather Forecasting