gr71·2 เดือนที่ผ่านมา·discussis the training data for these testcases in benchmark not already there ? how do llms perform in novel complex systems spec design ?