atlas

Research map / Adversarial robustness and security / Certified and empirical robustness

Provably Robust Conformal Prediction with Improved Efficiency

ICLR 2024 · Adversarial robustness and security › Certified and empirical robustness · approach: Neural network robustness verification · 1 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Fixes the flawed robustness guarantee of randomized smoothed conformal prediction (RSCP) via RSCP+ (Hoeffding bound on Monte Carlo scores) and reduces its conservative, trivial prediction sets with post-training transformation (PTT) and robust conformal training (RCT).

Problem

Randomized smoothed conformal prediction (RSCP) gives flawed robustness certificates when Monte Carlo sampling is used, and its robust prediction sets are so large that they are often trivial (full label set) under adversarial perturbations.

Approach

Use the Monte Carlo smoothed score directly as the conformity score, bound its estimation error with Hoeffding's inequality (inflating the calibration quantile level by 2β), then reduce conservativeness by a rank-plus-sigmoid transformation of the base score (PTT) and by training with simulated RSCP inside conformal training (RCT).

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Apply PTT to the HPS base scoreRSCP+ · CIFAR10average prediction set size: 10 -> 2.294Helped
Apply PTT to the APS base scoreRSCP+ · CIFAR10average prediction set size: 10 -> 2.685Helped
Add RCT to PTT with HPS base score (ablation)RSCP+ on CIFAR10 · CIFAR10average prediction set size: 2.294 -> 2.294No clear effect
Add RCT to PTT with APS base score (ablation)RSCP+ on CIFAR10 · CIFAR10average prediction set size: 2.685 -> 2.824Hurt
Apply PTT to the HPS base scoreRSCP+ · CIFAR100average prediction set size: 100 -> 26.06Helped
Add RCT to PTT with HPS base score (ablation)RSCP+ on CIFAR100 · CIFAR100average prediction set size: 26.06 -> 18.30Helped
Apply PTT to the APS base scoreRSCP+ · CIFAR100average prediction set size: 100 -> 21.96Helped
Add RCT to PTT with APS base score (ablation)RSCP+ on CIFAR100 · CIFAR100average prediction set size: 21.96 -> 20.01Helped
Apply PTT to the HPS base scoreRSCP+ · ImageNetaverage prediction set size: 1000 -> 1000No clear effect
Use PTT with the APS base scoreRSCP+ · ImageNetaverage prediction set size: 1000 -> 94.66Helped
Add the Empirical Bernstein bound to PTT with HPS base score (ablation)RSCP+ on ImageNet · ImageNetaverage prediction set size: 1000 -> 59.12Helped
Add the Empirical Bernstein bound to PTT with APS base score (ablation)RSCP+ on ImageNet · ImageNetaverage prediction set size: 94.66 -> 70.87Helped

Surprising findings

Limitations

Experimental setup

Datasets: CIFAR10 CIFAR100 ImageNet

Benchmarks: CIFAR10 CIFAR100 ImageNet

Metrics: average prediction set size coverage

Baselines: RSCP (HPS base score) RSCP (APS base score)

Builds on: Randomized Smoothed Conformal Prediction (RSCP) Adaptive Prediction Sets (APS) Homogeneous Prediction Sets (HPS) Conformal training (Stutz et al.) Randomized smoothing

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy