@misc{indiciaedfd77c4effd3,
  title = {Premise Selection for a Lean Hammer},
  author = {Thomas Zhu and Joshua Clune and Jeremy Avigad and Albert Qiaochu Jiang and Sean Welleck},
  year = {2026},
  url = {https://arxiv.org/abs/2506.07477},
  note = {Source identifier: 2506.07477}
}