Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation at PPDP 2021, Estonia
Activity: Talk or presentation types › Lecture and oral contribution
Ieva Daukantas - Speaker
6 Sep 2021
Event (Conference)
| Title | International Symposium on Principles and Practice of Declarative Programming |
|---|---|
| Abbreviated title | PPDP 2021 |
| Date | 06/09/2021 → 08/12/2021 |
| Website | |
| Location | Tallinn Teachers' House, Raekoja plats 14, 10146 |
| City | Tallinn |
| Country/Territory | Estonia |
| Degree of recognition | International event |
- Formal verification, AI security
Research areas
ID: 86385308