ITU

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation at PPDP 2021, Estonia

Activity: Talk or presentation typesLecture and oral contribution

Ieva Daukantas - Speaker

6 Sep 2021

Event (Conference)

TitleInternational Symposium on Principles and Practice of Declarative Programming
Abbreviated titlePPDP 2021
Date06/09/202108/12/2021
Website
LocationTallinn Teachers' House, Raekoja plats 14, 10146
CityTallinn
Country/TerritoryEstonia
Degree of recognitionInternational event

    Research areas

  • Formal verification, AI security

ID: 86385308