Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
arXiv:2604.19459v1 Announce Type: new
Abstract: Formal verification guarantees proof validity but not formalization faithfulness. For natural-language logical reasoning, where models construct axiom systems from scratch without library constraints, th…