Verification methods for international AI agreements | Synapse