A arxiv.org Demonstrating specification gaming in reasoning models 1 points wluk 1 year ago 1 comments