Premise Selection for a Lean Hammer - Zhu, Thomas; Clune, Joshua; Avigad, Jeremy; Jiang, Qiaochu; Welleck, Sean (International Conference on Learning Representations, 2026)