#自动定理证明

共 1 条 · 7 天 1 条 · 30 天 1 条

信息流里打上「自动定理证明」标签的资讯、产品与论文，按刊登时间排，新的在上。

9月11日

这篇论文提出了一个在SMT求解中结合非地面子句学习的创新方法，可能提升求解效率，对研究逻辑推理和自动定理证明的工程师有参考价值。

arXiv cs.AI@Yasmine Briefs, Christoph Weidenbach原文