TY - RPRT TI - TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing AU - Teyu Lin AU - Minghao Fan AU - Huaxun Huang AU - Zhirong Shen AU - Rongxin Wu PY - 2026 UR - https://arxiv.org/abs/2604.02702 ID - 2604.02702 ER -