Rising Stars #1: Sam Robertson (UC Berkeley) - Designing for Verifiability in ML Systems