В чём отличие формальных методов от эмпирических методов при оценке робастности нейронных сетей?

Отличие формальных методов от эмпирических при оценке робастности нейронных сетей заключается в подходах к анализу свойств системы. docs.cntd.ru rst.gov.ru:8443

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

Эмпирические методы базируются на экспериментах, наблюдениях и экспертных оценках. docs.cntd.ru rst.gov.ru:8443 Они помогают оценить, в какой степени свойства системы достоверны в тестируемом сценарии, например, является ли наблюдаемое поведение удовлетворительным. docs.cntd.ru rst.gov.ru:8443

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

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