Demonstrating specification gaming in reasoning models. - Alexander Bondarenko 003; Denis Volk; Dmitrii Volkov; Jeffrey Ladish (CoRR, 2025)