LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening. - Ming Zhang 030; Qiyuan Peng; Yinxi Wei; Yujiong Shen; Kexin Tan; Yuhui Wang; Zhenghao Xiang; Junjie Ye 005; Zhangyue Yin; Zhiheng Xi; Shihan Dou; Tao Gui; et al. (CoRR, 2026)