arXiv · Machine Learning· Zixuan Chen, Wenyuan Jiang, Junling Wang, Mrinmaya Sachan, Yinya Huang·· 8 小时前AI 评分47
DAPS：面向 Lean 定理证明的依赖感知前提选择方法
DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving
AI 导读
DAPS 提出一种依赖感知的前提选择方法，通过结构邻域编码器、组级对比学习目标及 Mathlib-then-Blueprint 适配流程，改善 Lean 4 定理证明中的引理检索。
来源：arXiv · Machine Learning · arxiv.org