TY - RPRT TI - Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning AU - Phuong Minh Nguyen AU - Tien Huu Dang AU - Naoya Inoue PY - 2025 UR - https://arxiv.org/abs/2508.12425 ID - 2508.12425 ER -