TY - RPRT TI - Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy AU - Yihong Dong AU - Jianha Xiao AU - Xue Jiang AU - Xuyuan Guo AU - Zhiyuan Fan AU - Jiaru Qian AU - Kechi Zhang AU - Jia Li AU - Zhi Jin AU - Ge Li PY - 2026 UR - https://arxiv.org/abs/2604.02709 ID - 2604.02709 ER -