arXivZixuan Chen, Wenyuan Jiang, Junling Wang, Mrinmaya Sachan, Yinya HuangFri, Oct 30, 2026, 3:28 AM PDT
score 15.1
Dependency-Based Premise Selection Boosts AI Theorem Provers
Original: DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving
Source: arxiv.org ↗
Writing ELI5 summary…