Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa,Clark Barrett,Byron Cook,Bruno Dutertre,Gereon Kremer,Hanna Lachnitt,Aina Niemetz,Andres Notzli,Alex Ozdemir,Mathias Preiner,Andrew Reynolds,Cesare Tinelli,Yoni Zohar

Communications of the ACM（2023）

引用 0|浏览16

暂无评分

摘要

Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

查看译文

关键词

automated reasoning proof certificates

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要