标签: 可验证推理