Comment by ramoz

Can you link to the verifiable inference method?