incomplete proofs | BriefGPT

关键词incomplete proofs

搜索结果 - 1

基于约束求解的合成几何陈述和证明的自动补全方法
通过使用合一逻辑和约束求解，我们提出了一个框架，用于补充不完整的猜想和证明。该框架可以将具有缺失假设和不明确目标的猜想转化为正确的定理，并帮助完成草图式证明以使其适于人类阅读和机器检查。
PDF6 months ago