Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.

Ieva Daukantas, Alessandro Bruni, Carsten Schrmann

Browse the full PPDP paper archive.