Submitted by Ming Zhang 20 LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening LLMEval Official Team 9 1