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

  • Ieva Daukantas (Speaker)

    Activity: Talk or presentation typesLecture and oral contribution

    Period6 Sept 2021
    Event titleInternational Symposium on Principles and Practice of Declarative Programming
    Event typeConference
    Conference number23
    LocationTallinn, EstoniaShow on map

    Keywords

    • Formal verification, AI security