TY  - RPRT
TI  - Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
AU  - Kyuhee Kim
AU  - Auguste Poiroux
AU  - Antoine Bosselut
PY  - 2026
UR  - https://arxiv.org/abs/2604.19459
ID  - 2604.19459
ER  -