TY  - RPRT
TI  - Premise Selection for a Lean Hammer
AU  - Thomas Zhu
AU  - Joshua Clune
AU  - Jeremy Avigad
AU  - Albert Qiaochu Jiang
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2506.07477
ID  - 2506.07477
ER  -