ESReDA: research on certified deep learning

Overview

Martin Vechev introduces research on formal guarantees from neural networks to learning pipelines. The talk covers certification-friendly neural architectures, mathematical impossibility/complexity results and certified training as supporting AI-verification material.