LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening Ming Zhang , Qiyuan Peng , Yinxi Wei , Yujiong Shen , Kexin Tan , Yuhui Wang , Zhenghao ...