TY  - RPRT
TI  - Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
AU  - Xinyi Zheng
AU  - Ningke Li
AU  - Xiaokun Luan
AU  - Kailong Wang
AU  - Ling Shi
AU  - Meng Sun
AU  - Haoyu Wang
PY  - 2025
UR  - https://arxiv.org/abs/2512.23511
ID  - 2512.23511
ER  -