Optimistic Verifiable Training by Controlling Hardware Nondeterminism | Read Paper on Bytez