Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?

@inproceedings{li-2026-llms, author = {Qingchuan Li and Jiatong Li and Zirui Liu and Mingyue Cheng and Yitong Zhou and Yuting Zeng and Qi Liu and Tongxuan Liu}, editor = {Hakim Hacid and Yoelle Maarek and Francesco Bonchi and Ido Guy and Emine Yilmaz}, title = {{Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?}}, booktitle = {{Proceedings of the ACM Web Conference 2026, WWW 2026, Dubai, United Arab Emirates, originally scheduled for April 13-17, 2026, rescheduled for June 29 - July 3, 2026}}, pages = {3633--3644}, publisher = {ACM}, year = {2026}, url = {https://doi.org/10.1145/3774904.3792161}, doi = {https://doi.org/10.1145/3774904.3792161} }