@article{llmevallogicasolververifiedchinesebenchm,
  title = {LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening},
  author = {Ming Zhang and Qiyuan Peng and Yinxi Wei and Yujiong Shen and Kexin Tan and Yuhui Wang and Zhenghao Xiang and Junjie Ye and Zhangyue Yin and Zhiheng Xi and Shihan Dou and Tao Gui and Maxm Pan and Ruizhi Yang and Qi Zhang and Xuanjing Huang},
  year = {2026},
  eprint = {2605.19597},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.19597},
}