Can you link to the verifiable inference method?