TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing. - Teyu Lin; Minghao Fan; Huaxun Huang; Zhirong Shen; Rongxin Wu (CoRR, 2026)