A Progressive Teacher-Student Framework for Semi-Supervised Coronary Artery Segmentation in X-Ray Angiography