Verification methods for international AI agreements | Read Paper on Bytez