Tree-Based Premise Selection for Lean4 - Wang, Zichen; Dong, Anjie; Wen, Zaiwen (Advances in Neural Information Processing Systems, 2025)