ESReDA: 딥러닝의 형식적 보증 연구

자료 개요

Martin Vechev의 강연은 신경망부터 학습 파이프라인까지 성질을 형식적으로 보장하는 연구를 소개합니다. 보증에 적합한 신경망 구조, 수학적 불가능성·복잡도와 certified training을 다루는 공통 AI 검증 자료입니다.