Когда проверка AI-моделей сложнее, чем кажется: почему свойства функций не равны свойствам распределений
Исследователи Apple показали, что тестирование и верификация свойств функций работают принципиально по-разному. Хотя для тестирования location-invariant свойств функций и соответствующих распределений сложность схожа, при верификации через интерактивные доказательства близости (IPPs) эта связь разрушается. Работа важна для понимания пределов эффективной проверки моделей машинного обучения.
0
144
