Исследование применимости алгоритмов формальной верификации для детектирования бэкдоров в моделях машинного обучениядоклад на конференции