[edit]
What Can Conformal Risk Control Certify for PET/CT Tumour Segmentation?
Proceedings of the Fifteenth Symposium on Conformal and Probabilistic Prediction with Applications, PMLR 329:1063-1065, 2026.
Abstract
A conformal guarantee for segmentation is useful only when the controlled loss reflects the clinical decision. In PET/CT tumour imaging, missing a whole lesion can matter more than small boundary errors. We apply connected-component risk-controlling prediction sets (RCPS) to fixed, pretrained LesionTracer probability maps for 900 autoPET cases, asking whether one global threshold can certify a binary missed-lesion loss and a continuous voxel-level missed-tumour loss. At $\alpha$ = $\delta$ = 0.1, the binary loss cannot be certified: on lesion-positive calibration cases its empirical risk is 0.177 even at the smallest threshold we evaluated. The voxel loss behaves differently: an empirical-Bernstein bound certifies $\hat{\lambda} = 0.78$, giving P(Rvox($\hat{\lambda}$) $\leq$ 0.1) $\geq$ 0.9, once lesion-free cases contribute zero loss. This binary infeasibility holds for coverage requirements $\gamma$ from 0.5 to 0.9. We read the contrast as a statement about the prediction family: a global threshold cannot recover lesions the network never supported.