@misc{indiciae61ac647f0f6a,
  title = {DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving},
  author = {Zixuan Chen and Wenyuan Jiang and Junling Wang and Mrinmaya Sachan and Yinya Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.41536},
  note = {Source identifier: 2610.41536}
}