Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy — Yihong Dong, Jianha Xiao, Xue Jiang, Xuyuan Guo, Zhiyuan Fan, Jiaru Qian, Kechi Zhang, Jia Li, Zhi Jin, Ge Li | Kutubxona