TY  - RPRT
TI  - Combining Textual and Structural Information for Premise Selection in Lean
AU  - Job Petrovčič
AU  - David Eliecer Narvaez Denis
AU  - Ljupčo Todorovski
PY  - 2025
UR  - https://arxiv.org/abs/2510.23637
ID  - 2510.23637
ER  -