@article{premiseselectionforaleanhammer,
  title = {Premise Selection for a Lean Hammer},
  author = {Thomas Zhu and Joshua Clune and Jeremy Avigad and Albert Qiaochu Jiang and Sean Welleck},
  year = {2025},
  eprint = {2506.07477},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.07477v1},
}