arXiv · ML· Zixuan Chen, Wenyuan Jiang, Junling Wang, Mrinmaya Sachan, Yinya Huang·· 4 小时前AI 评分32
DAPS：面向 LLM 定理证明的依赖感知前提选择
DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving
AI 导读
提出依赖感知前提选择器 DAPS，在 Mathlib4-Heldout 数据集上达到 89.25% 的 Recall@32，较 LeanHammer 提升 11.41 个百分点。
来源：arXiv · ML · arxiv.org