Optimistic Verifiable Training by Controlling Hardware Nondeterminism - Srivastava, Megha; Arora, Simran; Boneh, Dan (Advances in Neural Information Processing Systems, 2024)