arXiv 人工智能· Xiaopeng Yuan, Suijin Wang, Yanli Wang, Haibo Jin, Peng Kuang, Jerry Wang, Lijun Yu, Haohan Wang·· 6 小时前AI 评分35
面向形式化证明的自公告方法选择：让定理库自主发声
Let the Library Speak: Self-Advertised Method Selection for Formal Proving
AI 导读
研究提出面向形式化证明的自公告（self-advertisement）方法选择机制，在排序前由模型为各候选方法生成针对具体目标的适用性提议并降级模糊选项。该机制结合了包含 82 个可复用数学方法的 Method Contracts 库。
来源：arXiv 人工智能 · arxiv.org