BriefGPT.xyz
Ask
alpha
关键词
theorem-prover
搜索结果 - 1
学习作为推理:可训练的自然逻辑定理证明器用于自然语言推理
论文介绍了一种基于逆推的推理方法 (abduction),该方法在自然语言推理中的应用可以有效地提高定理证明器的性能,提高处理语义关系的精度。
PDF
4 years ago
Prev
Next