Tag: verifiable inference