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

Activity: Talk or presentation typesLecture and oral contribution

Period6 Sep 2021
Event titleInternational Symposium on Principles and Practice of Declarative Programming
Event typeConference
Conference number23
LocationTallinn, Estonia

Keywords

  • Formal verification, AI security