On Audit and Certification of Machine Learning Systemsдоклад на конференции