Gave a guest talk at Los Alamos National Laboratory on my research in graph neural network verification.