You may find this interesting if you are into testing of the llm reasoning performance!