Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of PPDP (Principles of Declarative Programing Languages)
PublisherAssociation for Computing Machinery
Publication date2021
Publication statusPublished - 2021

Cite this