Отличие формальных методов от эмпирических при оценке робастности нейронных сетей заключается в подходах к анализу свойств системы. 15

Формальные методы полагаются на надёжное формальное доказательство, чтобы продемонстрировать математическое свойство в предметной области. 15 Эти методы позволяют проверить, доказуемы ли свойства в области использования, например, всегда ли система работает в заданных пределах безопасности. 15

Эмпирические методы базируются на экспериментах, наблюдениях и экспертных оценках. 15 Они помогают оценить, в какой степени свойства системы достоверны в тестируемом сценарии, например, является ли наблюдаемое поведение удовлетворительным. 15

Таким образом, формальные методы фокусируются на доказательстве математических свойств, а эмпирические — на оценке достоверности свойств системы в определённом сценарии.

На практике эти методы не используют для прямой оценки робастности в целом, а применяют совместно, каждый из них нацелен на различные аспекты робастности. 12