You mean direct & provable "leakage"? Because the large model writing the solution likely was trained on GSM8k — accidentally or on purpose — so there must be some indirect assumptions being made all along (also a form of leakage).

→ View original post on X — @alexjc