Verified ML Systems

Talia Ringer discusses the challenges and potential of verifying machine learning systems, including the use of formal guarantees and exploring the internals of the system for better understanding and interpretability.