arXiv Artificial Intelligence· Xinrui Li, Pawan Sasanka Ammanamanchi, Siddharth Bhat, Rianna Jamdar, Yongxi Lin, Stella Biderman·· 2 小时前AI 评分31
SemantEq：形式化命题的忠实双向等价判定
SemantEq: Faithful Bidirectional Equivalence of Formal Statements
AI 导读
SemantEq 提出一种比逻辑等价更严格的形式化命题等价关系，要求两个命题只能通过逻辑重排、库内等式重写等允许步骤互相转化，并按 Lean 校验的证明项而非 tactic 脚本判定。
来源：arXiv Artificial Intelligence · arxiv.org