TY - RPRT TI - Predicate Renaming via Large Language Models AU - Elisabetta Gentili AU - Tony Ribeiro AU - Fabrizio Riguzzi AU - Katsumi Inoue PY - 2025 UR - https://arxiv.org/abs/2510.25517 ID - 2510.25517 ER -