Combining Textual and Structural Information for Premise Selection in Lean. - Job Petrovcic; David Eliecer Narvaez Denis; Ljupco Todorovski (CoRR, 2025)