What we discovered that LLMs aren't really the answer wrt performance, the whole system around verifying correct and performance is the key.