TY - RPRT TI - Improving Symbolic Translation of Language Models for Logical Reasoning AU - Ramya Keerthy Thatikonda AU - Jiuzhou Han AU - Wray Buntine AU - Ehsan Shareghi PY - 2026 UR - https://arxiv.org/abs/2601.09446 ID - 2601.09446 ER -